pragma Ada_95;
pragma Source_File_Name (ada_main, Spec_File_Name => "b~partition.ads");
pragma Source_File_Name (ada_main, Body_File_Name => "b~partition.adb");

with System.Restrictions;
with Ada.Exceptions;

package body ada_main is
   pragma Warnings (Off);

   E307 : Short_Integer; pragma Import (Ada, E307, "system__stack_usage_E");
   E016 : Short_Integer; pragma Import (Ada, E016, "system__soft_links_E");
   E240 : Short_Integer; pragma Import (Ada, E240, "system__fat_flt_E");
   E236 : Short_Integer; pragma Import (Ada, E236, "system__fat_llf_E");
   E711 : Short_Integer; pragma Import (Ada, E711, "gnat__exception_actions_E");
   E026 : Short_Integer; pragma Import (Ada, E026, "system__exception_table_E");
   E077 : Short_Integer; pragma Import (Ada, E077, "ada__io_exceptions_E");
   E231 : Short_Integer; pragma Import (Ada, E231, "ada__numerics_E");
   E356 : Short_Integer; pragma Import (Ada, E356, "ada__strings_E");
   E360 : Short_Integer; pragma Import (Ada, E360, "ada__strings__maps_E");
   E507 : Short_Integer; pragma Import (Ada, E507, "ada__strings__maps__constants_E");
   E055 : Short_Integer; pragma Import (Ada, E055, "ada__tags_E");
   E053 : Short_Integer; pragma Import (Ada, E053, "ada__streams_E");
   E079 : Short_Integer; pragma Import (Ada, E079, "interfaces__c_E");
   E081 : Short_Integer; pragma Import (Ada, E081, "interfaces__c__strings_E");
   E512 : Short_Integer; pragma Import (Ada, E512, "system__regpat_E");
   E246 : Short_Integer; pragma Import (Ada, E246, "ada__calendar_E");
   E244 : Short_Integer; pragma Import (Ada, E244, "ada__calendar__delays_E");
   E194 : Short_Integer; pragma Import (Ada, E194, "system__assertions_E");
   E804 : Short_Integer; pragma Import (Ada, E804, "system__dsa_types_E");
   E345 : Short_Integer; pragma Import (Ada, E345, "system__random_numbers_E");
   E518 : Short_Integer; pragma Import (Ada, E518, "system__rpc_E");
   E020 : Short_Integer; pragma Import (Ada, E020, "system__secondary_stack_E");
   E063 : Short_Integer; pragma Import (Ada, E063, "system__finalization_root_E");
   E052 : Short_Integer; pragma Import (Ada, E052, "ada__finalization_E");
   E395 : Short_Integer; pragma Import (Ada, E395, "ada__strings__unbounded_E");
   E385 : Short_Integer; pragma Import (Ada, E385, "ada__strings__wide_maps_E");
   E399 : Short_Integer; pragma Import (Ada, E399, "ada__strings__wide_unbounded_E");
   E071 : Short_Integer; pragma Import (Ada, E071, "system__storage_pools_E");
   E050 : Short_Integer; pragma Import (Ada, E050, "ada__finalization__heap_management_E");
   E084 : Short_Integer; pragma Import (Ada, E084, "system__os_lib_E");
   E089 : Short_Integer; pragma Import (Ada, E089, "system__pool_global_E");
   E671 : Short_Integer; pragma Import (Ada, E671, "gnat__sockets_E");
   E679 : Short_Integer; pragma Import (Ada, E679, "gnat__sockets__thin_common_E");
   E674 : Short_Integer; pragma Import (Ada, E674, "gnat__sockets__thin_E");
   E087 : Short_Integer; pragma Import (Ada, E087, "system__file_control_block_E");
   E437 : Short_Integer; pragma Import (Ada, E437, "ada__streams__stream_io_E");
   E076 : Short_Integer; pragma Import (Ada, E076, "system__file_io_E");
   E681 : Short_Integer; pragma Import (Ada, E681, "system__pool_size_E");
   E435 : Short_Integer; pragma Import (Ada, E435, "system__strings__stream_ops_E");
   E783 : Short_Integer; pragma Import (Ada, E783, "system__tasking__async_delays_E");
   E319 : Short_Integer; pragma Import (Ada, E319, "system__tasking__initialization_E");
   E309 : Short_Integer; pragma Import (Ada, E309, "system__tasking__protected_objects_E");
   E774 : Short_Integer; pragma Import (Ada, E774, "system__tasking__task_attributes_E");
   E283 : Short_Integer; pragma Import (Ada, E283, "ada__real_time_E");
   E009 : Short_Integer; pragma Import (Ada, E009, "ada__text_io_E");
   E315 : Short_Integer; pragma Import (Ada, E315, "system__tasking__protected_objects__entries_E");
   E325 : Short_Integer; pragma Import (Ada, E325, "system__tasking__queuing_E");
   E339 : Short_Integer; pragma Import (Ada, E339, "system__tasking__stages_E");
   E785 : Short_Integer; pragma Import (Ada, E785, "system__interrupt_management__operations_E");
   E098 : Short_Integer; pragma Import (Ada, E098, "glib_E");
   E113 : Short_Integer; pragma Import (Ada, E113, "gtkada__types_E");
   E418 : Short_Integer; pragma Import (Ada, E418, "polyorb__components_E");
   E258 : Short_Integer; pragma Import (Ada, E258, "polyorb__log_E");
   E422 : Short_Integer; pragma Import (Ada, E422, "polyorb__qos_E");
   E526 : Short_Integer; pragma Import (Ada, E526, "polyorb__sequences_E");
   E391 : Short_Integer; pragma Import (Ada, E391, "polyorb__smart_pointers_E");
   E568 : Short_Integer; pragma Import (Ada, E568, "polyorb__smart_pointers__controlled_entities_E");
   E433 : Short_Integer; pragma Import (Ada, E433, "polyorb__tasking__mutexes_E");
   E475 : Short_Integer; pragma Import (Ada, E475, "polyorb__tasking__condition_variables_E");
   E463 : Short_Integer; pragma Import (Ada, E463, "polyorb__tasking__threads_E");
   E393 : Short_Integer; pragma Import (Ada, E393, "polyorb__types_E");
   E355 : Short_Integer; pragma Import (Ada, E355, "polyorb__any_E");
   E414 : Short_Integer; pragma Import (Ada, E414, "polyorb__errors_E");
   E260 : Short_Integer; pragma Import (Ada, E260, "polyorb__utils_E");
   E253 : Short_Integer; pragma Import (Ada, E253, "polyorb__parameters_E");
   E557 : Short_Integer; pragma Import (Ada, E557, "polyorb__utils__hfunctions_E");
   E559 : Short_Integer; pragma Import (Ada, E559, "polyorb__utils__hfunctions__hyper_E");
   E408 : Short_Integer; pragma Import (Ada, E408, "polyorb__buffers_E");
   E406 : Short_Integer; pragma Import (Ada, E406, "polyorb__representations_E");
   E416 : Short_Integer; pragma Import (Ada, E416, "polyorb__annotations_E");
   E473 : Short_Integer; pragma Import (Ada, E473, "polyorb__jobs_E");
   E471 : Short_Integer; pragma Import (Ada, E471, "polyorb__asynch_ev_E");
   E469 : Short_Integer; pragma Import (Ada, E469, "polyorb__task_info_E");
   E497 : Short_Integer; pragma Import (Ada, E497, "polyorb__tasking__idle_tasks_managers_E");
   E277 : Short_Integer; pragma Import (Ada, E277, "polyorb__utils__strings__lists_E");
   E256 : Short_Integer; pragma Import (Ada, E256, "polyorb__initialization_E");
   E129 : Short_Integer; pragma Import (Ada, E129, "gdk__rectangle_E");
   E115 : Short_Integer; pragma Import (Ada, E115, "glib__glist_E");
   E150 : Short_Integer; pragma Import (Ada, E150, "gdk__visual_E");
   E117 : Short_Integer; pragma Import (Ada, E117, "glib__gslist_E");
   E102 : Short_Integer; pragma Import (Ada, E102, "glib__object_E");
   E104 : Short_Integer; pragma Import (Ada, E104, "glib__type_conversion_hooks_E");
   E124 : Short_Integer; pragma Import (Ada, E124, "glib__values_E");
   E148 : Short_Integer; pragma Import (Ada, E148, "gdk__color_E");
   E174 : Short_Integer; pragma Import (Ada, E174, "gdk__cursor_E");
   E122 : Short_Integer; pragma Import (Ada, E122, "glib__generic_properties_E");
   E200 : Short_Integer; pragma Import (Ada, E200, "gtk__tree_model_E");
   E111 : Short_Integer; pragma Import (Ada, E111, "gtkada__c_E");
   E107 : Short_Integer; pragma Import (Ada, E107, "gtkada__bindings_E");
   E120 : Short_Integer; pragma Import (Ada, E120, "gdk__types_E");
   E160 : Short_Integer; pragma Import (Ada, E160, "gdk__region_E");
   E141 : Short_Integer; pragma Import (Ada, E141, "gdk__event_E");
   E176 : Short_Integer; pragma Import (Ada, E176, "gdk__display_E");
   E143 : Short_Integer; pragma Import (Ada, E143, "gdk__window_E");
   E164 : Short_Integer; pragma Import (Ada, E164, "gdk__bitmap_E");
   E162 : Short_Integer; pragma Import (Ada, E162, "gdk__pixmap_E");
   E168 : Short_Integer; pragma Import (Ada, E168, "glib__properties_E");
   E152 : Short_Integer; pragma Import (Ada, E152, "gtk__enums_E");
   E166 : Short_Integer; pragma Import (Ada, E166, "gtk__object_E");
   E182 : Short_Integer; pragma Import (Ada, E182, "gtk__accel_group_E");
   E188 : Short_Integer; pragma Import (Ada, E188, "gtk__adjustment_E");
   E133 : Short_Integer; pragma Import (Ada, E133, "pango__enums_E");
   E131 : Short_Integer; pragma Import (Ada, E131, "pango__attributes_E");
   E137 : Short_Integer; pragma Import (Ada, E137, "pango__font_E");
   E156 : Short_Integer; pragma Import (Ada, E156, "gdk__font_E");
   E158 : Short_Integer; pragma Import (Ada, E158, "gdk__gc_E");
   E135 : Short_Integer; pragma Import (Ada, E135, "pango__context_E");
   E139 : Short_Integer; pragma Import (Ada, E139, "pango__tabs_E");
   E127 : Short_Integer; pragma Import (Ada, E127, "pango__layout_E");
   E100 : Short_Integer; pragma Import (Ada, E100, "gdk__drawable_E");
   E178 : Short_Integer; pragma Import (Ada, E178, "gdk__rgb_E");
   E172 : Short_Integer; pragma Import (Ada, E172, "gdk__pixbuf_E");
   E154 : Short_Integer; pragma Import (Ada, E154, "gtk__style_E");
   E146 : Short_Integer; pragma Import (Ada, E146, "gtk__widget_E");
   E186 : Short_Integer; pragma Import (Ada, E186, "gtk__container_E");
   E184 : Short_Integer; pragma Import (Ada, E184, "gtk__bin_E");
   E202 : Short_Integer; pragma Import (Ada, E202, "gtk__box_E");
   E204 : Short_Integer; pragma Import (Ada, E204, "gtk__button_E");
   E208 : Short_Integer; pragma Import (Ada, E208, "gtk__button_box_E");
   E190 : Short_Integer; pragma Import (Ada, E190, "gtk__drawing_area_E");
   E095 : Short_Integer; pragma Import (Ada, E095, "double_buffer_E");
   E206 : Short_Integer; pragma Import (Ada, E206, "gtk__hbutton_box_E");
   E196 : Short_Integer; pragma Import (Ada, E196, "gtk__marshallers_E");
   E212 : Short_Integer; pragma Import (Ada, E212, "gtk__misc_E");
   E210 : Short_Integer; pragma Import (Ada, E210, "gtk__label_E");
   E198 : Short_Integer; pragma Import (Ada, E198, "gtk__notebook_E");
   E170 : Short_Integer; pragma Import (Ada, E170, "gtk__window_E");
   E467 : Short_Integer; pragma Import (Ada, E467, "polyorb__any__exceptionlist_E");
   E401 : Short_Integer; pragma Import (Ada, E401, "polyorb__any__initialization_E");
   E455 : Short_Integer; pragma Import (Ada, E455, "polyorb__any__nvlist_E");
   E514 : Short_Integer; pragma Import (Ada, E514, "polyorb__dsa_p__exceptions_E");
   E444 : Short_Integer; pragma Import (Ada, E444, "polyorb__errors__helper_E");
   E516 : Short_Integer; pragma Import (Ada, E516, "polyorb__exceptions_E");
   E426 : Short_Integer; pragma Import (Ada, E426, "polyorb__filters_E");
   E741 : Short_Integer; pragma Import (Ada, E741, "polyorb__giop_p__code_sets_E");
   E658 : Short_Integer; pragma Import (Ada, E658, "polyorb__giop_p__exceptions_E");
   E709 : Short_Integer; pragma Import (Ada, E709, "polyorb__log__exceptions_E");
   E713 : Short_Integer; pragma Import (Ada, E713, "polyorb__log__initialization_E");
   E715 : Short_Integer; pragma Import (Ada, E715, "polyorb__log__stderr_E");
   E721 : Short_Integer; pragma Import (Ada, E721, "polyorb__parameters__command_line_E");
   E725 : Short_Integer; pragma Import (Ada, E725, "polyorb__parameters__environment_E");
   E481 : Short_Integer; pragma Import (Ada, E481, "polyorb__parameters__initialization_E");
   E575 : Short_Integer; pragma Import (Ada, E575, "polyorb__poa_policies_E");
   E574 : Short_Integer; pragma Import (Ada, E574, "polyorb__poa_config_E");
   E753 : Short_Integer; pragma Import (Ada, E753, "polyorb__qos__addressing_modes_E");
   E662 : Short_Integer; pragma Import (Ada, E662, "polyorb__qos__static_buffers_E");
   E626 : Short_Integer; pragma Import (Ada, E626, "polyorb__representations__cdr_E");
   E664 : Short_Integer; pragma Import (Ada, E664, "polyorb__representations__cdr__giop_utils_E");
   E548 : Short_Integer; pragma Import (Ada, E548, "polyorb__sequences__helper_E");
   E546 : Short_Integer; pragma Import (Ada, E546, "polyorb__sequences__bounded__helper_E");
   E550 : Short_Integer; pragma Import (Ada, E550, "polyorb__sequences__unbounded__helper_E");
   E524 : Short_Integer; pragma Import (Ada, E524, "polyorb__services__naming_E");
   E487 : Short_Integer; pragma Import (Ada, E487, "polyorb__smart_pointers__initialization_E");
   E683 : Short_Integer; pragma Import (Ada, E683, "polyorb__sockets_initialization_E");
   E701 : Short_Integer; pragma Import (Ada, E701, "polyorb__asynch_ev__sockets_E");
   E461 : Short_Integer; pragma Import (Ada, E461, "polyorb__tasking__abortables_E");
   E764 : Short_Integer; pragma Import (Ada, E764, "polyorb__tasking__profiles__full_tasking__condition_variables_E");
   E766 : Short_Integer; pragma Import (Ada, E766, "polyorb__tasking__profiles__full_tasking__mutexes_E");
   E768 : Short_Integer; pragma Import (Ada, E768, "polyorb__tasking__profiles__full_tasking__threads_E");
   E778 : Short_Integer; pragma Import (Ada, E778, "polyorb__tasking__profiles__full_tasking__threads__static_priorities_E");
   E781 : Short_Integer; pragma Import (Ada, E781, "polyorb__tasking__profiles__full_tasking_atc__abortables_E");
   E776 : Short_Integer; pragma Import (Ada, E776, "polyorb__tasking__threads__annotations_E");
   E772 : Short_Integer; pragma Import (Ada, E772, "polyorb__tasking__profiles__full_tasking__threads__annotations_E");
   E640 : Short_Integer; pragma Import (Ada, E640, "polyorb__termination_activity_E");
   E424 : Short_Integer; pragma Import (Ada, E424, "polyorb__transport_E");
   E403 : Short_Integer; pragma Import (Ada, E403, "polyorb__binding_data_E");
   E479 : Short_Integer; pragma Import (Ada, E479, "polyorb__binding_data__local_E");
   E687 : Short_Integer; pragma Import (Ada, E687, "polyorb__binding_data_qos_E");
   E430 : Short_Integer; pragma Import (Ada, E430, "polyorb__binding_objects_E");
   E816 : Short_Integer; pragma Import (Ada, E816, "polyorb__binding_data__neighbour_E");
   E450 : Short_Integer; pragma Import (Ada, E450, "polyorb__binding_object_qos_E");
   E491 : Short_Integer; pragma Import (Ada, E491, "polyorb__binding_objects__lists_E");
   E428 : Short_Integer; pragma Import (Ada, E428, "polyorb__filters__iface_E");
   E691 : Short_Integer; pragma Import (Ada, E691, "polyorb__filters__slicers_E");
   E448 : Short_Integer; pragma Import (Ada, E448, "polyorb__references_E");
   E446 : Short_Integer; pragma Import (Ada, E446, "polyorb__any__objref_E");
   E520 : Short_Integer; pragma Import (Ada, E520, "polyorb__dsa_p__name_service_E");
   E522 : Short_Integer; pragma Import (Ada, E522, "polyorb__dsa_p__name_service__cos_naming_E");
   E538 : Short_Integer; pragma Import (Ada, E538, "polyorb__dsa_p__name_service__mdns_E");
   E542 : Short_Integer; pragma Import (Ada, E542, "polyorb__dsa_p__name_service__mdns__helper_E");
   E540 : Short_Integer; pragma Import (Ada, E540, "polyorb__dsa_p__name_service__mdns__client_E");
   E453 : Short_Integer; pragma Import (Ada, E453, "polyorb__if_descriptors_E");
   E554 : Short_Integer; pragma Import (Ada, E554, "polyorb__references__corbaloc_E");
   E717 : Short_Integer; pragma Import (Ada, E717, "polyorb__references__file_E");
   E634 : Short_Integer; pragma Import (Ada, E634, "polyorb__references__ior_E");
   E495 : Short_Integer; pragma Import (Ada, E495, "polyorb__request_scheduler_E");
   E493 : Short_Integer; pragma Import (Ada, E493, "polyorb__orb_controller_E");
   E787 : Short_Integer; pragma Import (Ada, E787, "polyorb__orb_controller__workers_E");
   E442 : Short_Integer; pragma Import (Ada, E442, "polyorb__requests_E");
   E452 : Short_Integer; pragma Import (Ada, E452, "polyorb__protocols_E");
   E456 : Short_Integer; pragma Import (Ada, E456, "polyorb__protocols__iface_E");
   E465 : Short_Integer; pragma Import (Ada, E465, "polyorb__request_qos_E");
   E458 : Short_Integer; pragma Import (Ada, E458, "polyorb__servants_E");
   E566 : Short_Integer; pragma Import (Ada, E566, "polyorb__minimal_servant_E");
   E552 : Short_Integer; pragma Import (Ada, E552, "polyorb__dsa_p__name_service__mdns__servant_E");
   E485 : Short_Integer; pragma Import (Ada, E485, "polyorb__obj_adapters_E");
   E572 : Short_Integer; pragma Import (Ada, E572, "polyorb__obj_adapter_qos_E");
   E750 : Short_Integer; pragma Import (Ada, E750, "polyorb__obj_adapters__group_object_adapter_E");
   E353 : Short_Integer; pragma Import (Ada, E353, "polyorb__orb_E");
   E440 : Short_Integer; pragma Import (Ada, E440, "polyorb__orb__iface_E");
   E590 : Short_Integer; pragma Import (Ada, E590, "polyorb__poa_policies__thread_policy_E");
   E620 : Short_Integer; pragma Import (Ada, E620, "polyorb__poa_policies__thread_policy__orb_ctrl_E");
   E578 : Short_Integer; pragma Import (Ada, E578, "polyorb__poa_types_E");
   E582 : Short_Integer; pragma Import (Ada, E582, "polyorb__object_maps_E");
   E594 : Short_Integer; pragma Import (Ada, E594, "polyorb__object_maps__system_E");
   E602 : Short_Integer; pragma Import (Ada, E602, "polyorb__object_maps__user_E");
   E576 : Short_Integer; pragma Import (Ada, E576, "polyorb__poa_manager_E");
   E583 : Short_Integer; pragma Import (Ada, E583, "polyorb__poa_policies__id_assignment_policy_E");
   E592 : Short_Integer; pragma Import (Ada, E592, "polyorb__poa_policies__id_assignment_policy__system_E");
   E612 : Short_Integer; pragma Import (Ada, E612, "polyorb__poa_policies__id_assignment_policy__user_E");
   E584 : Short_Integer; pragma Import (Ada, E584, "polyorb__poa_policies__id_uniqueness_policy_E");
   E596 : Short_Integer; pragma Import (Ada, E596, "polyorb__poa_policies__id_uniqueness_policy__multiple_E");
   E796 : Short_Integer; pragma Import (Ada, E796, "polyorb__poa_policies__id_uniqueness_policy__unique_E");
   E585 : Short_Integer; pragma Import (Ada, E585, "polyorb__poa_policies__implicit_activation_policy_E");
   E598 : Short_Integer; pragma Import (Ada, E598, "polyorb__poa_policies__implicit_activation_policy__activation_E");
   E614 : Short_Integer; pragma Import (Ada, E614, "polyorb__poa_policies__implicit_activation_policy__no_activation_E");
   E586 : Short_Integer; pragma Import (Ada, E586, "polyorb__poa_policies__lifespan_policy_E");
   E604 : Short_Integer; pragma Import (Ada, E604, "polyorb__poa_policies__lifespan_policy__persistent_E");
   E798 : Short_Integer; pragma Import (Ada, E798, "polyorb__poa_policies__lifespan_policy__transient_E");
   E587 : Short_Integer; pragma Import (Ada, E587, "polyorb__poa_policies__request_processing_policy_E");
   E800 : Short_Integer; pragma Import (Ada, E800, "polyorb__poa_policies__request_processing_policy__active_object_map_only_E");
   E606 : Short_Integer; pragma Import (Ada, E606, "polyorb__poa_policies__request_processing_policy__use_default_servant_E");
   E618 : Short_Integer; pragma Import (Ada, E618, "polyorb__poa_policies__request_processing_policy__use_servant_manager_E");
   E588 : Short_Integer; pragma Import (Ada, E588, "polyorb__poa_policies__servant_retention_policy_E");
   E616 : Short_Integer; pragma Import (Ada, E616, "polyorb__poa_policies__servant_retention_policy__non_retain_E");
   E610 : Short_Integer; pragma Import (Ada, E610, "polyorb__poa_config__proxies_E");
   E608 : Short_Integer; pragma Import (Ada, E608, "polyorb__poa_config__racws_E");
   E600 : Short_Integer; pragma Import (Ada, E600, "polyorb__poa_policies__servant_retention_policy__retain_E");
   E794 : Short_Integer; pragma Import (Ada, E794, "polyorb__poa_config__root_poa_E");
   E656 : Short_Integer; pragma Import (Ada, E656, "polyorb__protocols__giop_E");
   E731 : Short_Integer; pragma Import (Ada, E731, "polyorb__protocols__giop__giop_1_0_E");
   E737 : Short_Integer; pragma Import (Ada, E737, "polyorb__protocols__giop__giop_1_1_E");
   E695 : Short_Integer; pragma Import (Ada, E695, "polyorb__protocols__giop__iiop_E");
   E752 : Short_Integer; pragma Import (Ada, E752, "polyorb__servants__group_servants_E");
   E459 : Short_Integer; pragma Import (Ada, E459, "polyorb__servants__iface_E");
   E534 : Short_Integer; pragma Import (Ada, E534, "polyorb__services__naming__helper_E");
   E530 : Short_Integer; pragma Import (Ada, E530, "polyorb__services__naming__namingcontext_E");
   E532 : Short_Integer; pragma Import (Ada, E532, "polyorb__services__naming__namingcontext__client_E");
   E536 : Short_Integer; pragma Import (Ada, E536, "polyorb__services__naming__namingcontext__helper_E");
   E703 : Short_Integer; pragma Import (Ada, E703, "polyorb__orb__thread_pool_E");
   E580 : Short_Integer; pragma Import (Ada, E580, "polyorb__poa_manager__basic_manager_E");
   E570 : Short_Integer; pragma Import (Ada, E570, "polyorb__poa_E");
   E792 : Short_Integer; pragma Import (Ada, E792, "polyorb__poa__basic_poa_E");
   E483 : Short_Integer; pragma Import (Ada, E483, "polyorb__references__binding_E");
   E802 : Short_Integer; pragma Import (Ada, E802, "polyorb__setup__proxies_poa_E");
   E790 : Short_Integer; pragma Import (Ada, E790, "polyorb__setup__oa__basic_poa_E");
   E489 : Short_Integer; pragma Import (Ada, E489, "polyorb__transport__handlers_E");
   E697 : Short_Integer; pragma Import (Ada, E697, "polyorb__transport__connected_E");
   E743 : Short_Integer; pragma Import (Ada, E743, "polyorb__giop_p__code_sets__converters_E");
   E628 : Short_Integer; pragma Import (Ada, E628, "polyorb__representations__cdr__common_E");
   E624 : Short_Integer; pragma Import (Ada, E624, "polyorb__qos__service_contexts_E");
   E733 : Short_Integer; pragma Import (Ada, E733, "polyorb__giop_p__service_contexts_E");
   E660 : Short_Integer; pragma Import (Ada, E660, "polyorb__protocols__giop__common_E");
   E757 : Short_Integer; pragma Import (Ada, E757, "polyorb__qos__code_sets_E");
   E746 : Short_Integer; pragma Import (Ada, E746, "polyorb__protocols__giop__giop_1_2_E");
   E622 : Short_Integer; pragma Import (Ada, E622, "polyorb__qos__exception_informations_E");
   E652 : Short_Integer; pragma Import (Ada, E652, "polyorb__qos__tagged_components_E");
   E650 : Short_Integer; pragma Import (Ada, E650, "polyorb__giop_p__tagged_components_E");
   E748 : Short_Integer; pragma Import (Ada, E748, "polyorb__giop_p__tagged_components__code_sets_E");
   E654 : Short_Integer; pragma Import (Ada, E654, "polyorb__giop_p__transport_mechanisms_E");
   E647 : Short_Integer; pragma Import (Ada, E647, "polyorb__binding_data__giop_E");
   E666 : Short_Integer; pragma Import (Ada, E666, "polyorb__binding_data__giop__iiop_E");
   E638 : Short_Integer; pragma Import (Ada, E638, "polyorb__qos__term_manager_info_E");
   E735 : Short_Integer; pragma Import (Ada, E735, "polyorb__representations__cdr__giop_1_0_E");
   E739 : Short_Integer; pragma Import (Ada, E739, "polyorb__representations__cdr__giop_1_1_E");
   E755 : Short_Integer; pragma Import (Ada, E755, "polyorb__representations__cdr__giop_1_2_E");
   E729 : Short_Integer; pragma Import (Ada, E729, "polyorb__setup__iiop_E");
   E642 : Short_Integer; pragma Import (Ada, E642, "polyorb__utils__configuration_file_E");
   E727 : Short_Integer; pragma Import (Ada, E727, "polyorb__parameters__file_E");
   E685 : Short_Integer; pragma Import (Ada, E685, "polyorb__utils__sockets_E");
   E668 : Short_Integer; pragma Import (Ada, E668, "polyorb__binding_data__giop__inet_E");
   E693 : Short_Integer; pragma Import (Ada, E693, "polyorb__giop_p__tagged_components__alternate_iiop_address_E");
   E689 : Short_Integer; pragma Import (Ada, E689, "polyorb__giop_p__transport_mechanisms__iiop_E");
   E699 : Short_Integer; pragma Import (Ada, E699, "polyorb__transport__connected__sockets_E");
   E504 : Short_Integer; pragma Import (Ada, E504, "system__partition_interface_E");
   E502 : Short_Integer; pragma Import (Ada, E502, "polyorb__dsa_p__partitions_E");
   E808 : Short_Integer; pragma Import (Ada, E808, "polyorb__dsa_p__storages_E");
   E810 : Short_Integer; pragma Import (Ada, E810, "polyorb__dsa_p__storages__config_E");
   E812 : Short_Integer; pragma Import (Ada, E812, "polyorb__termination_manager_E");
   E814 : Short_Integer; pragma Import (Ada, E814, "polyorb__termination_manager__bootstrap_E");
   E500 : Short_Integer; pragma Import (Ada, E500, "system__dsa_services_E");
   E230 : Short_Integer; pragma Import (Ada, E230, "pos_E");
   E333 : Short_Integer; pragma Import (Ada, E333, "field_package_E");
   E281 : Short_Integer; pragma Import (Ada, E281, "ball_E");
   E335 : Short_Integer; pragma Import (Ada, E335, "ball_controller_E");
   E343 : Short_Integer; pragma Import (Ada, E343, "player_package_E");
   E341 : Short_Integer; pragma Import (Ada, E341, "manager_package_E");
   E349 : Short_Integer; pragma Import (Ada, E349, "referee_package_E");
   E351 : Short_Integer; pragma Import (Ada, E351, "timer_package_E");
   E279 : Short_Integer; pragma Import (Ada, E279, "game_E");
   E242 : Short_Integer; pragma Import (Ada, E242, "server_E");
   E093 : Short_Integer; pragma Import (Ada, E093, "display_package_E");
   E006 : Short_Integer; pragma Import (Ada, E006, "client_E");
   E002 : Short_Integer; pragma Import (Ada, E002, "partition_E");

   Local_Priority_Specific_Dispatching : constant String := "";
   Local_Interrupt_States : constant String := "";

   Is_Elaborated : Boolean := False;

   procedure finalize_library is
      LE_Set : Boolean;
      pragma Import (Ada, LE_Set, "__gnat_library_exception_set");
   begin
      declare
         procedure F1;
         pragma Import (Ada, F1, "display_package__finalize_body");
      begin
         E093 := E093 - 1;
         F1;
      end;
      declare
         procedure F2;
         pragma Import (Ada, F2, "display_package__finalize_spec");
      begin
         F2;
      end;
      E351 := E351 - 1;
      declare
         procedure F3;
         pragma Import (Ada, F3, "timer_package__finalize_spec");
      begin
         F3;
      end;
      E281 := E281 - 1;
      declare
         procedure F4;
         pragma Import (Ada, F4, "ball__finalize_spec");
      begin
         F4;
      end;
      E812 := E812 - 1;
      declare
         procedure F5;
         pragma Import (Ada, F5, "polyorb__termination_manager__bootstrap__finalize_body");
      begin
         E814 := E814 - 1;
         F5;
      end;
      declare
         procedure F6;
         pragma Import (Ada, F6, "polyorb__termination_manager__bootstrap__finalize_spec");
      begin
         F6;
      end;
      declare
         procedure F7;
         pragma Import (Ada, F7, "polyorb__termination_manager__finalize_spec");
      begin
         F7;
      end;
      declare
         procedure F8;
         pragma Import (Ada, F8, "polyorb__dsa_p__storages__finalize_body");
      begin
         E808 := E808 - 1;
         F8;
      end;
      declare
         procedure F9;
         pragma Import (Ada, F9, "polyorb__dsa_p__storages__finalize_spec");
      begin
         F9;
      end;
      declare
         procedure F10;
         pragma Import (Ada, F10, "system__partition_interface__finalize_body");
      begin
         E504 := E504 - 1;
         F10;
      end;
      declare
         procedure F11;
         pragma Import (Ada, F11, "system__partition_interface__finalize_spec");
      begin
         F11;
      end;
      E689 := E689 - 1;
      E699 := E699 - 1;
      declare
         procedure F12;
         pragma Import (Ada, F12, "polyorb__transport__connected__sockets__finalize_spec");
      begin
         F12;
      end;
      E666 := E666 - 1;
      declare
         procedure F13;
         pragma Import (Ada, F13, "polyorb__giop_p__transport_mechanisms__iiop__finalize_spec");
      begin
         F13;
      end;
      E693 := E693 - 1;
      declare
         procedure F14;
         pragma Import (Ada, F14, "polyorb__giop_p__tagged_components__alternate_iiop_address__finalize_spec");
      begin
         F14;
      end;
      declare
         procedure F15;
         pragma Import (Ada, F15, "polyorb__parameters__file__finalize_body");
      begin
         E727 := E727 - 1;
         F15;
      end;
      E746 := E746 - 1;
      E755 := E755 - 1;
      declare
         procedure F16;
         pragma Import (Ada, F16, "polyorb__representations__cdr__giop_1_2__finalize_spec");
      begin
         F16;
      end;
      E737 := E737 - 1;
      E739 := E739 - 1;
      declare
         procedure F17;
         pragma Import (Ada, F17, "polyorb__representations__cdr__giop_1_1__finalize_spec");
      begin
         F17;
      end;
      E731 := E731 - 1;
      E735 := E735 - 1;
      declare
         procedure F18;
         pragma Import (Ada, F18, "polyorb__representations__cdr__giop_1_0__finalize_spec");
      begin
         F18;
      end;
      E638 := E638 - 1;
      declare
         procedure F19;
         pragma Import (Ada, F19, "polyorb__qos__term_manager_info__finalize_spec");
      begin
         F19;
      end;
      declare
         procedure F20;
         pragma Import (Ada, F20, "polyorb__binding_data__giop__iiop__finalize_spec");
      begin
         F20;
      end;
      E656 := E656 - 1;
      E654 := E654 - 1;
      declare
         procedure F21;
         pragma Import (Ada, F21, "polyorb__giop_p__transport_mechanisms__finalize_spec");
      begin
         F21;
      end;
      E748 := E748 - 1;
      declare
         procedure F22;
         pragma Import (Ada, F22, "polyorb__giop_p__tagged_components__code_sets__finalize_spec");
      begin
         F22;
      end;
      E650 := E650 - 1;
      declare
         procedure F23;
         pragma Import (Ada, F23, "polyorb__giop_p__tagged_components__finalize_spec");
      begin
         F23;
      end;
      E652 := E652 - 1;
      declare
         procedure F24;
         pragma Import (Ada, F24, "polyorb__qos__tagged_components__finalize_spec");
      begin
         F24;
      end;
      E622 := E622 - 1;
      declare
         procedure F25;
         pragma Import (Ada, F25, "polyorb__qos__exception_informations__finalize_spec");
      begin
         F25;
      end;
      declare
         procedure F26;
         pragma Import (Ada, F26, "polyorb__protocols__giop__giop_1_2__finalize_spec");
      begin
         F26;
      end;
      E757 := E757 - 1;
      declare
         procedure F27;
         pragma Import (Ada, F27, "polyorb__qos__code_sets__finalize_spec");
      begin
         F27;
      end;
      E624 := E624 - 1;
      declare
         procedure F28;
         pragma Import (Ada, F28, "polyorb__qos__service_contexts__finalize_spec");
      begin
         F28;
      end;
      E626 := E626 - 1;
      declare
         procedure F29;
         pragma Import (Ada, F29, "polyorb__references__ior__finalize_body");
      begin
         E634 := E634 - 1;
         F29;
      end;
      E743 := E743 - 1;
      declare
         procedure F30;
         pragma Import (Ada, F30, "polyorb__giop_p__code_sets__converters__finalize_spec");
      begin
         F30;
      end;
      E697 := E697 - 1;
      declare
         procedure F31;
         pragma Import (Ada, F31, "polyorb__transport__connected__finalize_spec");
      begin
         F31;
      end;
      declare
         procedure F32;
         pragma Import (Ada, F32, "polyorb__orb__finalize_body");
      begin
         E353 := E353 - 1;
         F32;
      end;
      E489 := E489 - 1;
      declare
         procedure F33;
         pragma Import (Ada, F33, "polyorb__transport__handlers__finalize_spec");
      begin
         F33;
      end;
      E520 := E520 - 1;
      E792 := E792 - 1;
      declare
         procedure F34;
         pragma Import (Ada, F34, "polyorb__poa__basic_poa__finalize_spec");
      begin
         F34;
      end;
      declare
         procedure F35;
         pragma Import (Ada, F35, "polyorb__dsa_p__name_service__mdns__finalize_body");
      begin
         E538 := E538 - 1;
         F35;
      end;
      E592 := E592 - 1;
      E612 := E612 - 1;
      E596 := E596 - 1;
      E796 := E796 - 1;
      E598 := E598 - 1;
      E798 := E798 - 1;
      E800 := E800 - 1;
      E606 := E606 - 1;
      E618 := E618 - 1;
      E600 := E600 - 1;
      E570 := E570 - 1;
      declare
         procedure F36;
         pragma Import (Ada, F36, "polyorb__poa__finalize_spec");
      begin
         F36;
      end;
      E580 := E580 - 1;
      declare
         procedure F37;
         pragma Import (Ada, F37, "polyorb__poa_manager__basic_manager__finalize_spec");
      begin
         F37;
      end;
      E703 := E703 - 1;
      declare
         procedure F38;
         pragma Import (Ada, F38, "polyorb__orb__thread_pool__finalize_spec");
      begin
         F38;
      end;
      E403 := E403 - 1;
      declare
         procedure F39;
         pragma Import (Ada, F39, "polyorb__requests__finalize_body");
      begin
         E442 := E442 - 1;
         F39;
      end;
      E752 := E752 - 1;
      declare
         procedure F40;
         pragma Import (Ada, F40, "polyorb__services__naming__namingcontext__client__finalize_body");
      begin
         E532 := E532 - 1;
         F40;
      end;
      E536 := E536 - 1;
      declare
         procedure F41;
         pragma Import (Ada, F41, "polyorb__services__naming__namingcontext__helper__finalize_spec");
      begin
         F41;
      end;
      E522 := E522 - 1;
      E530 := E530 - 1;
      declare
         procedure F42;
         pragma Import (Ada, F42, "polyorb__services__naming__namingcontext__finalize_spec");
      begin
         F42;
      end;
      E534 := E534 - 1;
      declare
         procedure F43;
         pragma Import (Ada, F43, "polyorb__services__naming__helper__finalize_spec");
      begin
         F43;
      end;
      E452 := E452 - 1;
      declare
         procedure F44;
         pragma Import (Ada, F44, "polyorb__servants__finalize_body");
      begin
         E458 := E458 - 1;
         F44;
      end;
      declare
         procedure F45;
         pragma Import (Ada, F45, "polyorb__servants__iface__finalize_spec");
      begin
         E459 := E459 - 1;
         F45;
      end;
      E750 := E750 - 1;
      declare
         procedure F46;
         pragma Import (Ada, F46, "polyorb__servants__group_servants__finalize_spec");
      begin
         F46;
      end;
      E695 := E695 - 1;
      declare
         procedure F47;
         pragma Import (Ada, F47, "polyorb__protocols__giop__iiop__finalize_spec");
      begin
         F47;
      end;
      declare
         procedure F48;
         pragma Import (Ada, F48, "polyorb__protocols__giop__giop_1_1__finalize_spec");
      begin
         F48;
      end;
      declare
         procedure F49;
         pragma Import (Ada, F49, "polyorb__protocols__giop__giop_1_0__finalize_spec");
      begin
         F49;
      end;
      declare
         procedure F50;
         pragma Import (Ada, F50, "polyorb__protocols__giop__finalize_spec");
      begin
         F50;
      end;
      E794 := E794 - 1;
      declare
         procedure F51;
         pragma Import (Ada, F51, "polyorb__poa_config__root_poa__finalize_spec");
      begin
         F51;
      end;
      declare
         procedure F52;
         pragma Import (Ada, F52, "polyorb__poa_policies__servant_retention_policy__retain__finalize_spec");
      begin
         F52;
      end;
      E608 := E608 - 1;
      declare
         procedure F53;
         pragma Import (Ada, F53, "polyorb__poa_config__racws__finalize_spec");
      begin
         F53;
      end;
      E610 := E610 - 1;
      declare
         procedure F54;
         pragma Import (Ada, F54, "polyorb__poa_config__proxies__finalize_spec");
      begin
         F54;
      end;
      E616 := E616 - 1;
      declare
         procedure F55;
         pragma Import (Ada, F55, "polyorb__poa_policies__servant_retention_policy__non_retain__finalize_spec");
      begin
         F55;
      end;
      declare
         procedure F56;
         pragma Import (Ada, F56, "polyorb__poa_policies__servant_retention_policy__finalize_spec");
      begin
         E588 := E588 - 1;
         F56;
      end;
      declare
         procedure F57;
         pragma Import (Ada, F57, "polyorb__poa_policies__request_processing_policy__use_servant_manager__finalize_spec");
      begin
         F57;
      end;
      declare
         procedure F58;
         pragma Import (Ada, F58, "polyorb__poa_policies__request_processing_policy__use_default_servant__finalize_spec");
      begin
         F58;
      end;
      declare
         procedure F59;
         pragma Import (Ada, F59, "polyorb__poa_policies__request_processing_policy__active_object_map_only__finalize_spec");
      begin
         F59;
      end;
      declare
         procedure F60;
         pragma Import (Ada, F60, "polyorb__poa_policies__request_processing_policy__finalize_spec");
      begin
         E587 := E587 - 1;
         F60;
      end;
      declare
         procedure F61;
         pragma Import (Ada, F61, "polyorb__poa_policies__lifespan_policy__transient__finalize_spec");
      begin
         F61;
      end;
      E604 := E604 - 1;
      declare
         procedure F62;
         pragma Import (Ada, F62, "polyorb__poa_policies__lifespan_policy__persistent__finalize_spec");
      begin
         F62;
      end;
      declare
         procedure F63;
         pragma Import (Ada, F63, "polyorb__poa_policies__lifespan_policy__finalize_spec");
      begin
         E586 := E586 - 1;
         F63;
      end;
      E614 := E614 - 1;
      declare
         procedure F64;
         pragma Import (Ada, F64, "polyorb__poa_policies__implicit_activation_policy__no_activation__finalize_spec");
      begin
         F64;
      end;
      declare
         procedure F65;
         pragma Import (Ada, F65, "polyorb__poa_policies__implicit_activation_policy__activation__finalize_spec");
      begin
         F65;
      end;
      declare
         procedure F66;
         pragma Import (Ada, F66, "polyorb__poa_policies__implicit_activation_policy__finalize_spec");
      begin
         E585 := E585 - 1;
         F66;
      end;
      declare
         procedure F67;
         pragma Import (Ada, F67, "polyorb__poa_policies__id_uniqueness_policy__unique__finalize_spec");
      begin
         F67;
      end;
      declare
         procedure F68;
         pragma Import (Ada, F68, "polyorb__poa_policies__id_uniqueness_policy__multiple__finalize_spec");
      begin
         F68;
      end;
      declare
         procedure F69;
         pragma Import (Ada, F69, "polyorb__poa_policies__id_uniqueness_policy__finalize_spec");
      begin
         E584 := E584 - 1;
         F69;
      end;
      declare
         procedure F70;
         pragma Import (Ada, F70, "polyorb__poa_policies__id_assignment_policy__user__finalize_spec");
      begin
         F70;
      end;
      declare
         procedure F71;
         pragma Import (Ada, F71, "polyorb__poa_policies__id_assignment_policy__system__finalize_spec");
      begin
         F71;
      end;
      declare
         procedure F72;
         pragma Import (Ada, F72, "polyorb__poa_policies__id_assignment_policy__finalize_spec");
      begin
         E583 := E583 - 1;
         F72;
      end;
      declare
         procedure F73;
         pragma Import (Ada, F73, "polyorb__poa_manager__finalize_spec");
      begin
         E576 := E576 - 1;
         F73;
      end;
      E602 := E602 - 1;
      declare
         procedure F74;
         pragma Import (Ada, F74, "polyorb__object_maps__user__finalize_spec");
      begin
         F74;
      end;
      E594 := E594 - 1;
      declare
         procedure F75;
         pragma Import (Ada, F75, "polyorb__object_maps__system__finalize_spec");
      begin
         F75;
      end;
      E582 := E582 - 1;
      declare
         procedure F76;
         pragma Import (Ada, F76, "polyorb__object_maps__finalize_spec");
      begin
         F76;
      end;
      E578 := E578 - 1;
      declare
         procedure F77;
         pragma Import (Ada, F77, "polyorb__poa_types__finalize_spec");
      begin
         F77;
      end;
      E620 := E620 - 1;
      declare
         procedure F78;
         pragma Import (Ada, F78, "polyorb__poa_policies__thread_policy__orb_ctrl__finalize_spec");
      begin
         F78;
      end;
      E590 := E590 - 1;
      declare
         procedure F79;
         pragma Import (Ada, F79, "polyorb__poa_policies__thread_policy__finalize_spec");
      begin
         F79;
      end;
      E424 := E424 - 1;
      declare
         procedure F80;
         pragma Import (Ada, F80, "polyorb__orb__iface__finalize_spec");
      begin
         E440 := E440 - 1;
         F80;
      end;
      E430 := E430 - 1;
      declare
         procedure F81;
         pragma Import (Ada, F81, "polyorb__orb_controller__finalize_body");
      begin
         E493 := E493 - 1;
         F81;
      end;
      declare
         procedure F82;
         pragma Import (Ada, F82, "polyorb__orb__finalize_spec");
      begin
         F82;
      end;
      declare
         procedure F83;
         pragma Import (Ada, F83, "polyorb__obj_adapters__group_object_adapter__finalize_spec");
      begin
         F83;
      end;
      declare
         procedure F84;
         pragma Import (Ada, F84, "polyorb__obj_adapter_qos__finalize_body");
      begin
         E572 := E572 - 1;
         F84;
      end;
      E485 := E485 - 1;
      declare
         procedure F85;
         pragma Import (Ada, F85, "polyorb__obj_adapters__finalize_spec");
      begin
         F85;
      end;
      E552 := E552 - 1;
      declare
         procedure F86;
         pragma Import (Ada, F86, "polyorb__dsa_p__name_service__mdns__servant__finalize_spec");
      begin
         F86;
      end;
      E566 := E566 - 1;
      declare
         procedure F87;
         pragma Import (Ada, F87, "polyorb__minimal_servant__finalize_spec");
      begin
         F87;
      end;
      declare
         procedure F88;
         pragma Import (Ada, F88, "polyorb__servants__finalize_spec");
      begin
         F88;
      end;
      declare
         procedure F89;
         pragma Import (Ada, F89, "polyorb__request_qos__finalize_body");
      begin
         E465 := E465 - 1;
         F89;
      end;
      declare
         procedure F90;
         pragma Import (Ada, F90, "polyorb__protocols__iface__finalize_spec");
      begin
         E456 := E456 - 1;
         F90;
      end;
      declare
         procedure F91;
         pragma Import (Ada, F91, "polyorb__protocols__finalize_spec");
      begin
         F91;
      end;
      declare
         procedure F92;
         pragma Import (Ada, F92, "polyorb__dsa_p__name_service__mdns__client__finalize_body");
      begin
         E540 := E540 - 1;
         F92;
      end;
      declare
         procedure F93;
         pragma Import (Ada, F93, "polyorb__requests__finalize_spec");
      begin
         F93;
      end;
      E787 := E787 - 1;
      declare
         procedure F94;
         pragma Import (Ada, F94, "polyorb__orb_controller__workers__finalize_spec");
      begin
         F94;
      end;
      declare
         procedure F95;
         pragma Import (Ada, F95, "polyorb__orb_controller__finalize_spec");
      begin
         F95;
      end;
      E495 := E495 - 1;
      declare
         procedure F96;
         pragma Import (Ada, F96, "polyorb__request_scheduler__finalize_spec");
      begin
         F96;
      end;
      declare
         procedure F97;
         pragma Import (Ada, F97, "polyorb__references__corbaloc__finalize_body");
      begin
         E554 := E554 - 1;
         F97;
      end;
      declare
         procedure F98;
         pragma Import (Ada, F98, "polyorb__if_descriptors__finalize_spec");
      begin
         E453 := E453 - 1;
         F98;
      end;
      E542 := E542 - 1;
      declare
         procedure F99;
         pragma Import (Ada, F99, "polyorb__dsa_p__name_service__mdns__helper__finalize_spec");
      begin
         F99;
      end;
      declare
         procedure F100;
         pragma Import (Ada, F100, "polyorb__dsa_p__name_service__mdns__finalize_spec");
      begin
         F100;
      end;
      declare
         procedure F101;
         pragma Import (Ada, F101, "polyorb__dsa_p__name_service__cos_naming__finalize_spec");
      begin
         F101;
      end;
      declare
         procedure F102;
         pragma Import (Ada, F102, "polyorb__dsa_p__name_service__finalize_spec");
      begin
         F102;
      end;
      declare
         procedure F103;
         pragma Import (Ada, F103, "polyorb__errors__helper__finalize_body");
      begin
         E444 := E444 - 1;
         F103;
      end;
      declare
         procedure F104;
         pragma Import (Ada, F104, "polyorb__any__objref__finalize_body");
      begin
         E446 := E446 - 1;
         F104;
      end;
      E448 := E448 - 1;
      declare
         procedure F105;
         pragma Import (Ada, F105, "polyorb__references__finalize_spec");
      begin
         F105;
      end;
      E691 := E691 - 1;
      declare
         procedure F106;
         pragma Import (Ada, F106, "polyorb__filters__slicers__finalize_spec");
      begin
         F106;
      end;
      E426 := E426 - 1;
      E428 := E428 - 1;
      declare
         procedure F107;
         pragma Import (Ada, F107, "polyorb__filters__iface__finalize_spec");
      begin
         F107;
      end;
      declare
         procedure F108;
         pragma Import (Ada, F108, "polyorb__binding_object_qos__finalize_body");
      begin
         E450 := E450 - 1;
         F108;
      end;
      E816 := E816 - 1;
      declare
         procedure F109;
         pragma Import (Ada, F109, "polyorb__binding_data__neighbour__finalize_spec");
      begin
         F109;
      end;
      declare
         procedure F110;
         pragma Import (Ada, F110, "polyorb__binding_objects__finalize_spec");
      begin
         F110;
      end;
      declare
         procedure F111;
         pragma Import (Ada, F111, "polyorb__binding_data_qos__finalize_body");
      begin
         E687 := E687 - 1;
         F111;
      end;
      E479 := E479 - 1;
      declare
         procedure F112;
         pragma Import (Ada, F112, "polyorb__binding_data__local__finalize_spec");
      begin
         F112;
      end;
      declare
         procedure F113;
         pragma Import (Ada, F113, "polyorb__binding_data__finalize_spec");
      begin
         F113;
      end;
      declare
         procedure F114;
         pragma Import (Ada, F114, "polyorb__transport__finalize_spec");
      begin
         F114;
      end;
      declare
         procedure F115;
         pragma Import (Ada, F115, "polyorb__tasking__profiles__full_tasking__threads__annotations__finalize_body");
      begin
         E772 := E772 - 1;
         F115;
      end;
      declare
         procedure F116;
         pragma Import (Ada, F116, "polyorb__tasking__profiles__full_tasking__threads__annotations__finalize_spec");
      begin
         F116;
      end;
      E776 := E776 - 1;
      declare
         procedure F117;
         pragma Import (Ada, F117, "polyorb__tasking__threads__annotations__finalize_spec");
      begin
         F117;
      end;
      declare
         procedure F118;
         pragma Import (Ada, F118, "polyorb__tasking__profiles__full_tasking_atc__abortables__finalize_body");
      begin
         E781 := E781 - 1;
         F118;
      end;
      declare
         procedure F119;
         pragma Import (Ada, F119, "polyorb__tasking__profiles__full_tasking__threads__finalize_body");
      begin
         E768 := E768 - 1;
         F119;
      end;
      declare
         procedure F120;
         pragma Import (Ada, F120, "polyorb__tasking__profiles__full_tasking__threads__finalize_spec");
      begin
         F120;
      end;
      E766 := E766 - 1;
      declare
         procedure F121;
         pragma Import (Ada, F121, "polyorb__tasking__profiles__full_tasking__mutexes__finalize_spec");
      begin
         F121;
      end;
      E764 := E764 - 1;
      declare
         procedure F122;
         pragma Import (Ada, F122, "polyorb__tasking__profiles__full_tasking__condition_variables__finalize_spec");
      begin
         F122;
      end;
      E461 := E461 - 1;
      declare
         procedure F123;
         pragma Import (Ada, F123, "polyorb__tasking__abortables__finalize_spec");
      begin
         F123;
      end;
      E701 := E701 - 1;
      declare
         procedure F124;
         pragma Import (Ada, F124, "polyorb__asynch_ev__sockets__finalize_spec");
      begin
         F124;
      end;
      declare
         procedure F125;
         pragma Import (Ada, F125, "polyorb__services__naming__finalize_spec");
      begin
         E524 := E524 - 1;
         F125;
      end;
      declare
         procedure F126;
         pragma Import (Ada, F126, "polyorb__representations__cdr__finalize_spec");
      begin
         F126;
      end;
      E662 := E662 - 1;
      declare
         procedure F127;
         pragma Import (Ada, F127, "polyorb__qos__static_buffers__finalize_spec");
      begin
         F127;
      end;
      declare
         procedure F128;
         pragma Import (Ada, F128, "polyorb__qos__addressing_modes__finalize_spec");
      begin
         E753 := E753 - 1;
         F128;
      end;
      E574 := E574 - 1;
      declare
         procedure F129;
         pragma Import (Ada, F129, "polyorb__poa_config__finalize_spec");
      begin
         F129;
      end;
      declare
         procedure F130;
         pragma Import (Ada, F130, "polyorb__poa_policies__finalize_spec");
      begin
         E575 := E575 - 1;
         F130;
      end;
      declare
         procedure F131;
         pragma Import (Ada, F131, "polyorb__parameters__environment__finalize_body");
      begin
         E725 := E725 - 1;
         F131;
      end;
      declare
         procedure F132;
         pragma Import (Ada, F132, "polyorb__parameters__command_line__finalize_body");
      begin
         E721 := E721 - 1;
         F132;
      end;
      declare
         procedure F133;
         pragma Import (Ada, F133, "polyorb__filters__finalize_spec");
      begin
         F133;
      end;
      declare
         procedure F134;
         pragma Import (Ada, F134, "polyorb__exceptions__finalize_body");
      begin
         E516 := E516 - 1;
         F134;
      end;
      E455 := E455 - 1;
      declare
         procedure F135;
         pragma Import (Ada, F135, "polyorb__any__nvlist__finalize_spec");
      begin
         F135;
      end;
      E467 := E467 - 1;
      declare
         procedure F136;
         pragma Import (Ada, F136, "polyorb__any__exceptionlist__finalize_spec");
      begin
         F136;
      end;
      declare
         procedure F137;
         pragma Import (Ada, F137, "double_buffer__finalize_body");
      begin
         E095 := E095 - 1;
         F137;
      end;
      E146 := E146 - 1;
      E170 := E170 - 1;
      declare
         procedure F138;
         pragma Import (Ada, F138, "gtk__window__finalize_spec");
      begin
         F138;
      end;
      E198 := E198 - 1;
      declare
         procedure F139;
         pragma Import (Ada, F139, "gtk__notebook__finalize_spec");
      begin
         F139;
      end;
      E210 := E210 - 1;
      declare
         procedure F140;
         pragma Import (Ada, F140, "gtk__label__finalize_spec");
      begin
         F140;
      end;
      E212 := E212 - 1;
      declare
         procedure F141;
         pragma Import (Ada, F141, "gtk__misc__finalize_spec");
      begin
         F141;
      end;
      E206 := E206 - 1;
      declare
         procedure F142;
         pragma Import (Ada, F142, "gtk__hbutton_box__finalize_spec");
      begin
         F142;
      end;
      declare
         procedure F143;
         pragma Import (Ada, F143, "double_buffer__finalize_spec");
      begin
         F143;
      end;
      E190 := E190 - 1;
      declare
         procedure F144;
         pragma Import (Ada, F144, "gtk__drawing_area__finalize_spec");
      begin
         F144;
      end;
      E208 := E208 - 1;
      declare
         procedure F145;
         pragma Import (Ada, F145, "gtk__button_box__finalize_spec");
      begin
         F145;
      end;
      E204 := E204 - 1;
      declare
         procedure F146;
         pragma Import (Ada, F146, "gtk__button__finalize_spec");
      begin
         F146;
      end;
      E202 := E202 - 1;
      declare
         procedure F147;
         pragma Import (Ada, F147, "gtk__box__finalize_spec");
      begin
         F147;
      end;
      E184 := E184 - 1;
      declare
         procedure F148;
         pragma Import (Ada, F148, "gtk__bin__finalize_spec");
      begin
         F148;
      end;
      E186 := E186 - 1;
      declare
         procedure F149;
         pragma Import (Ada, F149, "gtk__container__finalize_spec");
      begin
         F149;
      end;
      declare
         procedure F150;
         pragma Import (Ada, F150, "gtk__widget__finalize_spec");
      begin
         F150;
      end;
      E154 := E154 - 1;
      declare
         procedure F151;
         pragma Import (Ada, F151, "gtk__style__finalize_spec");
      begin
         F151;
      end;
      E172 := E172 - 1;
      declare
         procedure F152;
         pragma Import (Ada, F152, "gdk__pixbuf__finalize_spec");
      begin
         F152;
      end;
      E127 := E127 - 1;
      declare
         procedure F153;
         pragma Import (Ada, F153, "pango__layout__finalize_spec");
      begin
         F153;
      end;
      E135 := E135 - 1;
      declare
         procedure F154;
         pragma Import (Ada, F154, "pango__context__finalize_spec");
      begin
         F154;
      end;
      E137 := E137 - 1;
      declare
         procedure F155;
         pragma Import (Ada, F155, "pango__font__finalize_spec");
      begin
         F155;
      end;
      E188 := E188 - 1;
      declare
         procedure F156;
         pragma Import (Ada, F156, "gtk__adjustment__finalize_spec");
      begin
         F156;
      end;
      E182 := E182 - 1;
      declare
         procedure F157;
         pragma Import (Ada, F157, "gtk__accel_group__finalize_spec");
      begin
         F157;
      end;
      E166 := E166 - 1;
      declare
         procedure F158;
         pragma Import (Ada, F158, "gtk__object__finalize_spec");
      begin
         F158;
      end;
      E176 := E176 - 1;
      declare
         procedure F159;
         pragma Import (Ada, F159, "gdk__display__finalize_spec");
      begin
         F159;
      end;
      E200 := E200 - 1;
      declare
         procedure F160;
         pragma Import (Ada, F160, "glib__object__finalize_body");
      begin
         E102 := E102 - 1;
         F160;
      end;
      declare
         procedure F161;
         pragma Import (Ada, F161, "gtk__tree_model__finalize_spec");
      begin
         F161;
      end;
      declare
         procedure F162;
         pragma Import (Ada, F162, "glib__object__finalize_spec");
      begin
         F162;
      end;
      declare
         procedure F163;
         pragma Import (Ada, F163, "polyorb__parameters__finalize_body");
      begin
         E253 := E253 - 1;
         F163;
      end;
      E559 := E559 - 1;
      E497 := E497 - 1;
      declare
         procedure F164;
         pragma Import (Ada, F164, "polyorb__tasking__idle_tasks_managers__finalize_spec");
      begin
         F164;
      end;
      E471 := E471 - 1;
      declare
         procedure F165;
         pragma Import (Ada, F165, "polyorb__asynch_ev__finalize_spec");
      begin
         F165;
      end;
      E473 := E473 - 1;
      declare
         procedure F166;
         pragma Import (Ada, F166, "polyorb__jobs__finalize_spec");
      begin
         F166;
      end;
      E416 := E416 - 1;
      declare
         procedure F167;
         pragma Import (Ada, F167, "polyorb__annotations__finalize_spec");
      begin
         F167;
      end;
      E406 := E406 - 1;
      declare
         procedure F168;
         pragma Import (Ada, F168, "polyorb__representations__finalize_spec");
      begin
         F168;
      end;
      declare
         procedure F169;
         pragma Import (Ada, F169, "polyorb__utils__hfunctions__hyper__finalize_spec");
      begin
         F169;
      end;
      declare
         procedure F170;
         pragma Import (Ada, F170, "polyorb__any__finalize_body");
      begin
         E355 := E355 - 1;
         F170;
      end;
      E391 := E391 - 1;
      declare
         procedure F171;
         pragma Import (Ada, F171, "polyorb__parameters__finalize_spec");
      begin
         F171;
      end;
      E414 := E414 - 1;
      declare
         procedure F172;
         pragma Import (Ada, F172, "polyorb__errors__finalize_spec");
      begin
         F172;
      end;
      declare
         procedure F173;
         pragma Import (Ada, F173, "polyorb__any__finalize_spec");
      begin
         F173;
      end;
      E422 := E422 - 1;
      E393 := E393 - 1;
      declare
         procedure F174;
         pragma Import (Ada, F174, "polyorb__types__finalize_spec");
      begin
         F174;
      end;
      E463 := E463 - 1;
      declare
         procedure F175;
         pragma Import (Ada, F175, "polyorb__tasking__threads__finalize_spec");
      begin
         F175;
      end;
      E475 := E475 - 1;
      declare
         procedure F176;
         pragma Import (Ada, F176, "polyorb__tasking__condition_variables__finalize_spec");
      begin
         F176;
      end;
      E433 := E433 - 1;
      declare
         procedure F177;
         pragma Import (Ada, F177, "polyorb__tasking__mutexes__finalize_spec");
      begin
         F177;
      end;
      E568 := E568 - 1;
      declare
         procedure F178;
         pragma Import (Ada, F178, "polyorb__smart_pointers__controlled_entities__finalize_spec");
      begin
         F178;
      end;
      declare
         procedure F179;
         pragma Import (Ada, F179, "polyorb__smart_pointers__finalize_spec");
      begin
         F179;
      end;
      declare
         procedure F180;
         pragma Import (Ada, F180, "polyorb__qos__finalize_spec");
      begin
         F180;
      end;
      E418 := E418 - 1;
      declare
         procedure F181;
         pragma Import (Ada, F181, "polyorb__components__finalize_spec");
      begin
         F181;
      end;
      E315 := E315 - 1;
      declare
         procedure F182;
         pragma Import (Ada, F182, "system__tasking__protected_objects__entries__finalize_spec");
      begin
         F182;
      end;
      declare
         procedure F183;
         pragma Import (Ada, F183, "ada__text_io__finalize_body");
      begin
         E009 := E009 - 1;
         F183;
      end;
      declare
         procedure F184;
         pragma Import (Ada, F184, "ada__text_io__finalize_spec");
      begin
         F184;
      end;
      E774 := E774 - 1;
      declare
         procedure F185;
         pragma Import (Ada, F185, "system__tasking__task_attributes__finalize_spec");
      begin
         F185;
      end;
      declare
         procedure F186;
         pragma Import (Ada, F186, "gnat__sockets__finalize_body");
      begin
         E671 := E671 - 1;
         F186;
      end;
      E681 := E681 - 1;
      declare
         procedure F187;
         pragma Import (Ada, F187, "system__pool_size__finalize_spec");
      begin
         F187;
      end;
      declare
         procedure F188;
         pragma Import (Ada, F188, "ada__streams__stream_io__finalize_body");
      begin
         E437 := E437 - 1;
         F188;
      end;
      declare
         procedure F189;
         pragma Import (Ada, F189, "system__file_io__finalize_body");
      begin
         E076 := E076 - 1;
         F189;
      end;
      declare
         procedure F190;
         pragma Import (Ada, F190, "ada__streams__stream_io__finalize_spec");
      begin
         F190;
      end;
      declare
         procedure F191;
         pragma Import (Ada, F191, "system__file_control_block__finalize_spec");
      begin
         E087 := E087 - 1;
         F191;
      end;
      declare
         procedure F192;
         pragma Import (Ada, F192, "gnat__sockets__finalize_spec");
      begin
         F192;
      end;
      E089 := E089 - 1;
      declare
         procedure F193;
         pragma Import (Ada, F193, "system__pool_global__finalize_spec");
      begin
         F193;
      end;
      E050 := E050 - 1;
      declare
         procedure F194;
         pragma Import (Ada, F194, "ada__finalization__heap_management__finalize_spec");
      begin
         F194;
      end;
      E399 := E399 - 1;
      declare
         procedure F195;
         pragma Import (Ada, F195, "ada__strings__wide_unbounded__finalize_spec");
      begin
         F195;
      end;
      E385 := E385 - 1;
      declare
         procedure F196;
         pragma Import (Ada, F196, "ada__strings__wide_maps__finalize_spec");
      begin
         F196;
      end;
      E395 := E395 - 1;
      declare
         procedure F197;
         pragma Import (Ada, F197, "ada__strings__unbounded__finalize_spec");
      begin
         F197;
      end;
      E063 := E063 - 1;
      declare
         procedure F198;
         pragma Import (Ada, F198, "system__finalization_root__finalize_spec");
      begin
         F198;
      end;
      E518 := E518 - 1;
      declare
         procedure F199;
         pragma Import (Ada, F199, "system__rpc__finalize_spec");
      begin
         F199;
      end;
      if LE_Set then
         declare
            LE : Ada.Exceptions.Exception_Occurrence;
            pragma Import (Ada, LE, "__gnat_library_exception");
            procedure Raise_From_Controlled_Operation (X : Ada.Exceptions.Exception_Occurrence;  From_Abort : Boolean);
            pragma Import (Ada, Raise_From_Controlled_Operation, "__gnat_raise_from_controlled_operation");
         begin
            Raise_From_Controlled_Operation (LE, False);
         end;
      end if;
   end finalize_library;

   procedure adafinal is
      procedure s_stalib_adafinal;
      pragma Import (C, s_stalib_adafinal, "system__standard_library__adafinal");
   begin
      if not Is_Elaborated then
         return;
      end if;
      Is_Elaborated := False;
      s_stalib_adafinal;
   end adafinal;

   type No_Param_Proc is access procedure;

   procedure adainit is
      Main_Priority : Integer;
      pragma Import (C, Main_Priority, "__gl_main_priority");
      Time_Slice_Value : Integer;
      pragma Import (C, Time_Slice_Value, "__gl_time_slice_val");
      WC_Encoding : Character;
      pragma Import (C, WC_Encoding, "__gl_wc_encoding");
      Locking_Policy : Character;
      pragma Import (C, Locking_Policy, "__gl_locking_policy");
      Queuing_Policy : Character;
      pragma Import (C, Queuing_Policy, "__gl_queuing_policy");
      Task_Dispatching_Policy : Character;
      pragma Import (C, Task_Dispatching_Policy, "__gl_task_dispatching_policy");
      Priority_Specific_Dispatching : System.Address;
      pragma Import (C, Priority_Specific_Dispatching, "__gl_priority_specific_dispatching");
      Num_Specific_Dispatching : Integer;
      pragma Import (C, Num_Specific_Dispatching, "__gl_num_specific_dispatching");
      Main_CPU : Integer;
      pragma Import (C, Main_CPU, "__gl_main_cpu");
      Interrupt_States : System.Address;
      pragma Import (C, Interrupt_States, "__gl_interrupt_states");
      Num_Interrupt_States : Integer;
      pragma Import (C, Num_Interrupt_States, "__gl_num_interrupt_states");
      Unreserve_All_Interrupts : Integer;
      pragma Import (C, Unreserve_All_Interrupts, "__gl_unreserve_all_interrupts");
      Zero_Cost_Exceptions : Integer;
      pragma Import (C, Zero_Cost_Exceptions, "__gl_zero_cost_exceptions");
      Detect_Blocking : Integer;
      pragma Import (C, Detect_Blocking, "__gl_detect_blocking");
      Default_Stack_Size : Integer;
      pragma Import (C, Default_Stack_Size, "__gl_default_stack_size");
      Leap_Seconds_Support : Integer;
      pragma Import (C, Leap_Seconds_Support, "__gl_leap_seconds_support");

      procedure Install_Handler;
      pragma Import (C, Install_Handler, "__gnat_install_handler");

      Handler_Installed : Integer;
      pragma Import (C, Handler_Installed, "__gnat_handler_installed");

      Finalize_Library_Objects : No_Param_Proc;
      pragma Import (C, Finalize_Library_Objects, "__gnat_finalize_library_objects");
   begin
      if Is_Elaborated then
         return;
      end if;
      Is_Elaborated := True;
      Main_Priority := -1;
      Time_Slice_Value := -1;
      WC_Encoding := 'b';
      Locking_Policy := ' ';
      Queuing_Policy := ' ';
      Task_Dispatching_Policy := ' ';
      System.Restrictions.Run_Time_Restrictions :=
        (Set =>
          (False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, True, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False),
         Value => (0, 0, 0, 0, 0, 0, 0),
         Violated =>
          (True, False, True, True, False, True, False, True, 
           False, True, True, True, True, False, False, True, 
           False, False, True, True, False, True, True, True, 
           True, True, True, True, True, True, False, True, 
           False, True, True, True, True, True, False, True, 
           True, True, True, False, True, False, True, True, 
           True, False, False, True, True, True, True, True, 
           True, True, True, False, True, True, True, True, 
           True, False, True, True, True, True, True, True, 
           True, False),
         Count => (4, 2, 2, 3, 1, 10, 0),
         Unknown => (False, False, False, True, True, True, False));
      Priority_Specific_Dispatching :=
        Local_Priority_Specific_Dispatching'Address;
      Num_Specific_Dispatching := 0;
      Main_CPU := -1;
      Interrupt_States := Local_Interrupt_States'Address;
      Num_Interrupt_States := 0;
      Unreserve_All_Interrupts := 0;
      Zero_Cost_Exceptions := 1;
      Detect_Blocking := 0;
      Default_Stack_Size := -1;
      Leap_Seconds_Support := 0;

      if Handler_Installed = 0 then
         Install_Handler;
      end if;

      Finalize_Library_Objects := finalize_library'access;

      System.Stack_Usage'Elab_Spec;
      E307 := E307 + 1;
      System.Soft_Links'Elab_Spec;
      System.Fat_Flt'Elab_Spec;
      E240 := E240 + 1;
      System.Fat_Llf'Elab_Spec;
      E236 := E236 + 1;
      System.Exception_Table'Elab_Body;
      E026 := E026 + 1;
      E711 := E711 + 1;
      Ada.Io_Exceptions'Elab_Spec;
      E077 := E077 + 1;
      Ada.Numerics'Elab_Spec;
      E231 := E231 + 1;
      Ada.Strings'Elab_Spec;
      E356 := E356 + 1;
      Ada.Strings.Maps'Elab_Spec;
      Ada.Strings.Maps.Constants'Elab_Spec;
      E507 := E507 + 1;
      Ada.Tags'Elab_Spec;
      Ada.Streams'Elab_Spec;
      E053 := E053 + 1;
      Interfaces.C'Elab_Spec;
      Interfaces.C.Strings'Elab_Spec;
      System.Regpat'Elab_Spec;
      Ada.Calendar'Elab_Spec;
      Ada.Calendar'Elab_Body;
      E246 := E246 + 1;
      Ada.Calendar.Delays'Elab_Body;
      E244 := E244 + 1;
      System.Assertions'Elab_Spec;
      E194 := E194 + 1;
      System.Dsa_Types'Elab_Spec;
      E804 := E804 + 1;
      System.Rpc'Elab_Spec;
      E518 := E518 + 1;
      E512 := E512 + 1;
      E081 := E081 + 1;
      E079 := E079 + 1;
      Ada.Tags'Elab_Body;
      E055 := E055 + 1;
      E360 := E360 + 1;
      System.Soft_Links'Elab_Body;
      E016 := E016 + 1;
      System.Secondary_Stack'Elab_Body;
      E020 := E020 + 1;
      System.Random_Numbers'Elab_Body;
      E345 := E345 + 1;
      System.Finalization_Root'Elab_Spec;
      E063 := E063 + 1;
      Ada.Finalization'Elab_Spec;
      E052 := E052 + 1;
      Ada.Strings.Unbounded'Elab_Spec;
      E395 := E395 + 1;
      Ada.Strings.Wide_Maps'Elab_Spec;
      E385 := E385 + 1;
      Ada.Strings.Wide_Unbounded'Elab_Spec;
      E399 := E399 + 1;
      System.Storage_Pools'Elab_Spec;
      E071 := E071 + 1;
      Ada.Finalization.Heap_Management'Elab_Spec;
      E050 := E050 + 1;
      System.Os_Lib'Elab_Body;
      E084 := E084 + 1;
      System.Pool_Global'Elab_Spec;
      E089 := E089 + 1;
      Gnat.Sockets'Elab_Spec;
      Gnat.Sockets.Thin_Common'Elab_Spec;
      E679 := E679 + 1;
      System.File_Control_Block'Elab_Spec;
      E087 := E087 + 1;
      Ada.Streams.Stream_Io'Elab_Spec;
      System.File_Io'Elab_Body;
      E076 := E076 + 1;
      Ada.Streams.Stream_Io'Elab_Body;
      E437 := E437 + 1;
      System.Pool_Size'Elab_Spec;
      E681 := E681 + 1;
      System.Strings.Stream_Ops'Elab_Body;
      E435 := E435 + 1;
      Gnat.Sockets'Elab_Body;
      E671 := E671 + 1;
      Gnat.Sockets.Thin'Elab_Body;
      E674 := E674 + 1;
      System.Tasking.Initialization'Elab_Body;
      E319 := E319 + 1;
      System.Tasking.Protected_Objects'Elab_Body;
      E309 := E309 + 1;
      System.Tasking.Task_Attributes'Elab_Spec;
      E774 := E774 + 1;
      Ada.Real_Time'Elab_Spec;
      Ada.Real_Time'Elab_Body;
      E283 := E283 + 1;
      Ada.Text_Io'Elab_Spec;
      Ada.Text_Io'Elab_Body;
      E009 := E009 + 1;
      System.Tasking.Protected_Objects.Entries'Elab_Spec;
      E315 := E315 + 1;
      System.Tasking.Queuing'Elab_Body;
      E325 := E325 + 1;
      System.Tasking.Stages'Elab_Body;
      E339 := E339 + 1;
      System.Interrupt_Management.Operations'Elab_Body;
      E785 := E785 + 1;
      System.Tasking.Async_Delays'Elab_Body;
      E783 := E783 + 1;
      Glib'Elab_Spec;
      E098 := E098 + 1;
      Gtkada.Types'Elab_Spec;
      E113 := E113 + 1;
      Polyorb.Components'Elab_Spec;
      Polyorb.Components'Elab_Body;
      E418 := E418 + 1;
      Polyorb.Qos'Elab_Spec;
      Polyorb.Sequences'Elab_Spec;
      E526 := E526 + 1;
      Polyorb.Smart_Pointers'Elab_Spec;
      Polyorb.Smart_Pointers.Controlled_Entities'Elab_Spec;
      E568 := E568 + 1;
      Polyorb.Tasking.Mutexes'Elab_Spec;
      Polyorb.Tasking.Mutexes'Elab_Body;
      E433 := E433 + 1;
      Polyorb.Tasking.Condition_Variables'Elab_Spec;
      Polyorb.Tasking.Condition_Variables'Elab_Body;
      E475 := E475 + 1;
      Polyorb.Tasking.Threads'Elab_Spec;
      E463 := E463 + 1;
      Polyorb.Types'Elab_Spec;
      E393 := E393 + 1;
      E422 := E422 + 1;
      Polyorb.Any'Elab_Spec;
      Polyorb.Errors'Elab_Spec;
      Polyorb.Errors'Elab_Body;
      E414 := E414 + 1;
      Polyorb.Utils'Elab_Body;
      E260 := E260 + 1;
      Polyorb.Parameters'Elab_Spec;
      Polyorb.Smart_Pointers'Elab_Body;
      E391 := E391 + 1;
      Polyorb.Any'Elab_Body;
      E355 := E355 + 1;
      Polyorb.Utils.Hfunctions'Elab_Spec;
      E557 := E557 + 1;
      Polyorb.Utils.Hfunctions.Hyper'Elab_Spec;
      Polyorb.Buffers'Elab_Spec;
      Polyorb.Buffers'Elab_Body;
      E408 := E408 + 1;
      Polyorb.Representations'Elab_Spec;
      E406 := E406 + 1;
      Polyorb.Annotations'Elab_Spec;
      E416 := E416 + 1;
      Polyorb.Jobs'Elab_Spec;
      E473 := E473 + 1;
      Polyorb.Asynch_Ev'Elab_Spec;
      E471 := E471 + 1;
      POLYORB.TASK_INFO'ELAB_SPEC;
      E469 := E469 + 1;
      POLYORB.TASKING.IDLE_TASKS_MANAGERS'ELAB_SPEC;
      Polyorb.Tasking.Idle_Tasks_Managers'Elab_Body;
      E497 := E497 + 1;
      E559 := E559 + 1;
      Polyorb.Utils.Strings.Lists'Elab_Spec;
      E277 := E277 + 1;
      Polyorb.Initialization'Elab_Body;
      E256 := E256 + 1;
      Polyorb.Parameters'Elab_Body;
      E253 := E253 + 1;
      Polyorb.Log'Elab_Body;
      E258 := E258 + 1;
      E129 := E129 + 1;
      E115 := E115 + 1;
      Gdk.Visual'Elab_Spec;
      Gdk.Visual'Elab_Body;
      E150 := E150 + 1;
      E117 := E117 + 1;
      Glib.Object'Elab_Spec;
      E104 := E104 + 1;
      Glib.Values'Elab_Body;
      E124 := E124 + 1;
      Gdk.Color'Elab_Spec;
      E174 := E174 + 1;
      Glib.Generic_Properties'Elab_Spec;
      Glib.Generic_Properties'Elab_Body;
      E122 := E122 + 1;
      Gtk.Tree_Model'Elab_Spec;
      E111 := E111 + 1;
      Gtkada.Bindings'Elab_Spec;
      E107 := E107 + 1;
      Glib.Object'Elab_Body;
      E102 := E102 + 1;
      Gtk.Tree_Model'Elab_Body;
      E200 := E200 + 1;
      Gdk.Color'Elab_Body;
      E148 := E148 + 1;
      Gdk.Types'Elab_Spec;
      E120 := E120 + 1;
      E160 := E160 + 1;
      Gdk.Event'Elab_Spec;
      Gdk.Display'Elab_Spec;
      E176 := E176 + 1;
      Gdk.Window'Elab_Spec;
      E141 := E141 + 1;
      E164 := E164 + 1;
      E162 := E162 + 1;
      Glib.Properties'Elab_Spec;
      E168 := E168 + 1;
      Gtk.Enums'Elab_Spec;
      E152 := E152 + 1;
      Gtk.Object'Elab_Spec;
      E166 := E166 + 1;
      Gtk.Accel_Group'Elab_Spec;
      Gtk.Accel_Group'Elab_Body;
      E182 := E182 + 1;
      Gtk.Adjustment'Elab_Spec;
      Gtk.Adjustment'Elab_Body;
      E188 := E188 + 1;
      Pango.Enums'Elab_Spec;
      E133 := E133 + 1;
      E131 := E131 + 1;
      Pango.Font'Elab_Spec;
      E137 := E137 + 1;
      E156 := E156 + 1;
      E158 := E158 + 1;
      Pango.Context'Elab_Spec;
      E135 := E135 + 1;
      E139 := E139 + 1;
      Pango.Layout'Elab_Spec;
      E127 := E127 + 1;
      E100 := E100 + 1;
      E178 := E178 + 1;
      Gdk.Pixbuf'Elab_Spec;
      E172 := E172 + 1;
      Gtk.Style'Elab_Spec;
      Gtk.Style'Elab_Body;
      E154 := E154 + 1;
      Gtk.Widget'Elab_Spec;
      E143 := E143 + 1;
      Gtk.Container'Elab_Spec;
      Gtk.Container'Elab_Body;
      E186 := E186 + 1;
      Gtk.Bin'Elab_Spec;
      Gtk.Bin'Elab_Body;
      E184 := E184 + 1;
      Gtk.Box'Elab_Spec;
      Gtk.Box'Elab_Body;
      E202 := E202 + 1;
      Gtk.Button'Elab_Spec;
      Gtk.Button'Elab_Body;
      E204 := E204 + 1;
      Gtk.Button_Box'Elab_Spec;
      Gtk.Button_Box'Elab_Body;
      E208 := E208 + 1;
      Gtk.Drawing_Area'Elab_Spec;
      Gtk.Drawing_Area'Elab_Body;
      E190 := E190 + 1;
      Double_Buffer'Elab_Spec;
      Gtk.Hbutton_Box'Elab_Spec;
      Gtk.Hbutton_Box'Elab_Body;
      E206 := E206 + 1;
      E196 := E196 + 1;
      Gtk.Misc'Elab_Spec;
      Gtk.Misc'Elab_Body;
      E212 := E212 + 1;
      Gtk.Label'Elab_Spec;
      Gtk.Label'Elab_Body;
      E210 := E210 + 1;
      Gtk.Notebook'Elab_Spec;
      Gtk.Notebook'Elab_Body;
      E198 := E198 + 1;
      Gtk.Window'Elab_Spec;
      Gtk.Window'Elab_Body;
      E170 := E170 + 1;
      Gtk.Widget'Elab_Body;
      E146 := E146 + 1;
      Double_Buffer'Elab_Body;
      E095 := E095 + 1;
      Polyorb.Any.Exceptionlist'Elab_Spec;
      Polyorb.Any.Exceptionlist'Elab_Body;
      E467 := E467 + 1;
      Polyorb.Any.Initialization'Elab_Body;
      E401 := E401 + 1;
      Polyorb.Any.Nvlist'Elab_Spec;
      Polyorb.Any.Nvlist'Elab_Body;
      E455 := E455 + 1;
      Polyorb.Exceptions'Elab_Body;
      E516 := E516 + 1;
      E514 := E514 + 1;
      POLYORB.FILTERS'ELAB_SPEC;
      Polyorb.Giop_P.Code_Sets'Elab_Spec;
      Polyorb.Giop_P.Exceptions'Elab_Body;
      E658 := E658 + 1;
      Polyorb.Log.Exceptions'Elab_Body;
      E709 := E709 + 1;
      Polyorb.Log.Initialization'Elab_Body;
      E713 := E713 + 1;
      Polyorb.Log.Stderr'Elab_Body;
      E715 := E715 + 1;
      Polyorb.Parameters.Command_Line'Elab_Body;
      E721 := E721 + 1;
      Polyorb.Parameters.Environment'Elab_Body;
      E725 := E725 + 1;
      Polyorb.Parameters.Initialization'Elab_Body;
      E481 := E481 + 1;
      Polyorb.Poa_Policies'Elab_Spec;
      E575 := E575 + 1;
      Polyorb.Poa_Config'Elab_Spec;
      E574 := E574 + 1;
      Polyorb.Qos.Addressing_Modes'Elab_Spec;
      E753 := E753 + 1;
      Polyorb.Qos.Static_Buffers'Elab_Spec;
      E662 := E662 + 1;
      Polyorb.Representations.Cdr'Elab_Spec;
      Polyorb.Representations.Cdr.Giop_Utils'Elab_Body;
      E664 := E664 + 1;
      E548 := E548 + 1;
      E546 := E546 + 1;
      E550 := E550 + 1;
      Polyorb.Services.Naming'Elab_Spec;
      E524 := E524 + 1;
      Polyorb.Smart_Pointers.Initialization'Elab_Body;
      E487 := E487 + 1;
      Polyorb.Sockets_Initialization'Elab_Body;
      E683 := E683 + 1;
      Polyorb.Asynch_Ev.Sockets'Elab_Spec;
      Polyorb.Asynch_Ev.Sockets'Elab_Body;
      E701 := E701 + 1;
      POLYORB.TASKING.ABORTABLES'ELAB_SPEC;
      E461 := E461 + 1;
      POLYORB.TASKING.PROFILES.FULL_TASKING.CONDITION_VARIABLES'ELAB_SPEC;
      Polyorb.Tasking.Profiles.Full_Tasking.Condition_Variables'Elab_Body;
      E764 := E764 + 1;
      POLYORB.TASKING.PROFILES.FULL_TASKING.MUTEXES'ELAB_SPEC;
      Polyorb.Tasking.Profiles.Full_Tasking.Mutexes'Elab_Body;
      E766 := E766 + 1;
      POLYORB.TASKING.PROFILES.FULL_TASKING.THREADS'ELAB_SPEC;
      Polyorb.Tasking.Profiles.Full_Tasking.Threads'Elab_Body;
      E768 := E768 + 1;
      Polyorb.Tasking.Profiles.Full_Tasking.Threads.Static_Priorities'Elab_Body;
      E778 := E778 + 1;
      POLYORB.TASKING.PROFILES.FULL_TASKING_ATC.ABORTABLES'ELAB_BODY;
      E781 := E781 + 1;
      Polyorb.Tasking.Threads.Annotations'Elab_Spec;
      E776 := E776 + 1;
      Polyorb.Tasking.Profiles.Full_Tasking.Threads.Annotations'Elab_Spec;
      Polyorb.Tasking.Profiles.Full_Tasking.Threads.Annotations'Elab_Body;
      E772 := E772 + 1;
      Polyorb.Termination_Activity'Elab_Body;
      E640 := E640 + 1;
      Polyorb.Transport'Elab_Spec;
      Polyorb.Binding_Data'Elab_Spec;
      Polyorb.Binding_Data.Local'Elab_Spec;
      E479 := E479 + 1;
      Polyorb.Binding_Data_Qos'Elab_Body;
      E687 := E687 + 1;
      Polyorb.Binding_Objects'Elab_Spec;
      Polyorb.Binding_Data.Neighbour'Elab_Spec;
      E816 := E816 + 1;
      Polyorb.Binding_Object_Qos'Elab_Body;
      E450 := E450 + 1;
      Polyorb.Binding_Objects.Lists'Elab_Spec;
      E491 := E491 + 1;
      Polyorb.Filters.Iface'Elab_Spec;
      E428 := E428 + 1;
      Polyorb.Filters'Elab_Body;
      E426 := E426 + 1;
      Polyorb.Filters.Slicers'Elab_Spec;
      Polyorb.Filters.Slicers'Elab_Body;
      E691 := E691 + 1;
      Polyorb.References'Elab_Spec;
      Polyorb.References'Elab_Body;
      E448 := E448 + 1;
      Polyorb.Any.Objref'Elab_Body;
      E446 := E446 + 1;
      Polyorb.Errors.Helper'Elab_Body;
      E444 := E444 + 1;
      Polyorb.Dsa_P.Name_Service'Elab_Spec;
      Polyorb.Dsa_P.Name_Service.Cos_Naming'Elab_Spec;
      Polyorb.Dsa_P.Name_Service.Mdns'Elab_Spec;
      POLYORB.DSA_P.NAME_SERVICE.MDNS.HELPER'ELAB_SPEC;
      Polyorb.Dsa_P.Name_Service.Mdns.Helper'Elab_Body;
      E542 := E542 + 1;
      Polyorb.If_Descriptors'Elab_Spec;
      E453 := E453 + 1;
      Polyorb.References.Corbaloc'Elab_Body;
      E554 := E554 + 1;
      Polyorb.References.File'Elab_Body;
      E717 := E717 + 1;
      Polyorb.Request_Scheduler'Elab_Spec;
      E495 := E495 + 1;
      POLYORB.ORB_CONTROLLER'ELAB_SPEC;
      Polyorb.Orb_Controller.Workers'Elab_Spec;
      Polyorb.Orb_Controller.Workers'Elab_Body;
      E787 := E787 + 1;
      Polyorb.Requests'Elab_Spec;
      Polyorb.Dsa_P.Name_Service.Mdns.Client'Elab_Body;
      E540 := E540 + 1;
      Polyorb.Protocols'Elab_Spec;
      Polyorb.Protocols.Iface'Elab_Spec;
      E456 := E456 + 1;
      Polyorb.Request_Qos'Elab_Body;
      E465 := E465 + 1;
      Polyorb.Servants'Elab_Spec;
      Polyorb.Minimal_Servant'Elab_Spec;
      E566 := E566 + 1;
      Polyorb.Dsa_P.Name_Service.Mdns.Servant'Elab_Spec;
      POLYORB.DSA_P.NAME_SERVICE.MDNS.SERVANT'ELAB_BODY;
      E552 := E552 + 1;
      Polyorb.Obj_Adapters'Elab_Spec;
      E485 := E485 + 1;
      Polyorb.Obj_Adapter_Qos'Elab_Body;
      E572 := E572 + 1;
      Polyorb.Obj_Adapters.Group_Object_Adapter'Elab_Spec;
      POLYORB.ORB'ELAB_SPEC;
      Polyorb.Orb_Controller'Elab_Body;
      E493 := E493 + 1;
      Polyorb.Binding_Objects'Elab_Body;
      E430 := E430 + 1;
      Polyorb.Orb.Iface'Elab_Spec;
      E440 := E440 + 1;
      E424 := E424 + 1;
      Polyorb.Poa_Policies.Thread_Policy'Elab_Spec;
      E590 := E590 + 1;
      Polyorb.Poa_Policies.Thread_Policy.Orb_Ctrl'Elab_Spec;
      E620 := E620 + 1;
      Polyorb.Poa_Types'Elab_Spec;
      Polyorb.Poa_Types'Elab_Body;
      E578 := E578 + 1;
      Polyorb.Object_Maps'Elab_Spec;
      E582 := E582 + 1;
      Polyorb.Object_Maps.System'Elab_Spec;
      Polyorb.Object_Maps.System'Elab_Body;
      E594 := E594 + 1;
      Polyorb.Object_Maps.User'Elab_Spec;
      Polyorb.Object_Maps.User'Elab_Body;
      E602 := E602 + 1;
      Polyorb.Poa_Manager'Elab_Spec;
      E576 := E576 + 1;
      Polyorb.Poa_Policies.Id_Assignment_Policy'Elab_Spec;
      E583 := E583 + 1;
      Polyorb.Poa_Policies.Id_Assignment_Policy.System'Elab_Spec;
      Polyorb.Poa_Policies.Id_Assignment_Policy.User'Elab_Spec;
      Polyorb.Poa_Policies.Id_Uniqueness_Policy'Elab_Spec;
      E584 := E584 + 1;
      Polyorb.Poa_Policies.Id_Uniqueness_Policy.Multiple'Elab_Spec;
      Polyorb.Poa_Policies.Id_Uniqueness_Policy.Unique'Elab_Spec;
      Polyorb.Poa_Policies.Implicit_Activation_Policy'Elab_Spec;
      E585 := E585 + 1;
      Polyorb.Poa_Policies.Implicit_Activation_Policy.Activation'Elab_Spec;
      Polyorb.Poa_Policies.Implicit_Activation_Policy.No_Activation'Elab_Spec;
      E614 := E614 + 1;
      Polyorb.Poa_Policies.Lifespan_Policy'Elab_Spec;
      E586 := E586 + 1;
      Polyorb.Poa_Policies.Lifespan_Policy.Persistent'Elab_Spec;
      E604 := E604 + 1;
      Polyorb.Poa_Policies.Lifespan_Policy.Transient'Elab_Spec;
      Polyorb.Poa_Policies.Request_Processing_Policy'Elab_Spec;
      E587 := E587 + 1;
      Polyorb.Poa_Policies.Request_Processing_Policy.Active_Object_Map_Only'Elab_Spec;
      Polyorb.Poa_Policies.Request_Processing_Policy.Use_Default_Servant'Elab_Spec;
      Polyorb.Poa_Policies.Request_Processing_Policy.Use_Servant_Manager'Elab_Spec;
      Polyorb.Poa_Policies.Servant_Retention_Policy'Elab_Spec;
      E588 := E588 + 1;
      Polyorb.Poa_Policies.Servant_Retention_Policy.Non_Retain'Elab_Spec;
      E616 := E616 + 1;
      Polyorb.Poa_Config.Proxies'Elab_Spec;
      Polyorb.Poa_Config.Proxies'Elab_Body;
      E610 := E610 + 1;
      Polyorb.Poa_Config.Racws'Elab_Spec;
      Polyorb.Poa_Config.Racws'Elab_Body;
      E608 := E608 + 1;
      Polyorb.Poa_Policies.Servant_Retention_Policy.Retain'Elab_Spec;
      Polyorb.Poa_Config.Root_Poa'Elab_Spec;
      Polyorb.Poa_Config.Root_Poa'Elab_Body;
      E794 := E794 + 1;
      Polyorb.Protocols.Giop'Elab_Spec;
      Polyorb.Protocols.Giop.Giop_1_0'Elab_Spec;
      Polyorb.Protocols.Giop.Giop_1_1'Elab_Spec;
      Polyorb.Protocols.Giop.Iiop'Elab_Spec;
      Polyorb.Protocols.Giop.Iiop'Elab_Body;
      E695 := E695 + 1;
      Polyorb.Servants.Group_Servants'Elab_Spec;
      Polyorb.Obj_Adapters.Group_Object_Adapter'Elab_Body;
      E750 := E750 + 1;
      Polyorb.Servants.Iface'Elab_Spec;
      E459 := E459 + 1;
      Polyorb.Servants'Elab_Body;
      E458 := E458 + 1;
      Polyorb.Protocols'Elab_Body;
      E452 := E452 + 1;
      Polyorb.Services.Naming.Helper'Elab_Spec;
      Polyorb.Services.Naming.Helper'Elab_Body;
      E534 := E534 + 1;
      Polyorb.Services.Naming.Namingcontext'Elab_Spec;
      E530 := E530 + 1;
      POLYORB.DSA_P.NAME_SERVICE.COS_NAMING'ELAB_BODY;
      E522 := E522 + 1;
      Polyorb.Services.Naming.Namingcontext.Helper'Elab_Spec;
      Polyorb.Services.Naming.Namingcontext.Helper'Elab_Body;
      E536 := E536 + 1;
      Polyorb.Services.Naming.Namingcontext.Client'Elab_Body;
      E532 := E532 + 1;
      POLYORB.SERVANTS.GROUP_SERVANTS'ELAB_BODY;
      E752 := E752 + 1;
      Polyorb.Requests'Elab_Body;
      E442 := E442 + 1;
      Polyorb.Binding_Data'Elab_Body;
      E403 := E403 + 1;
      Polyorb.Orb.Thread_Pool'Elab_Spec;
      Polyorb.Orb.Thread_Pool'Elab_Body;
      E703 := E703 + 1;
      Polyorb.Poa_Manager.Basic_Manager'Elab_Spec;
      Polyorb.Poa_Manager.Basic_Manager'Elab_Body;
      E580 := E580 + 1;
      Polyorb.Poa'Elab_Spec;
      Polyorb.Poa'Elab_Body;
      E570 := E570 + 1;
      Polyorb.Poa_Policies.Servant_Retention_Policy.Retain'Elab_Body;
      E600 := E600 + 1;
      E618 := E618 + 1;
      E606 := E606 + 1;
      E800 := E800 + 1;
      E798 := E798 + 1;
      E598 := E598 + 1;
      E796 := E796 + 1;
      E596 := E596 + 1;
      Polyorb.Poa_Policies.Id_Assignment_Policy.User'Elab_Body;
      E612 := E612 + 1;
      Polyorb.Poa_Policies.Id_Assignment_Policy.System'Elab_Body;
      E592 := E592 + 1;
      Polyorb.Dsa_P.Name_Service.Mdns'Elab_Body;
      E538 := E538 + 1;
      Polyorb.Poa.Basic_Poa'Elab_Spec;
      Polyorb.Poa.Basic_Poa'Elab_Body;
      E792 := E792 + 1;
      Polyorb.References.Binding'Elab_Body;
      E483 := E483 + 1;
      Polyorb.Dsa_P.Name_Service'Elab_Body;
      E520 := E520 + 1;
      E802 := E802 + 1;
      Polyorb.Setup.Oa.Basic_Poa'Elab_Body;
      E790 := E790 + 1;
      Polyorb.Transport.Handlers'Elab_Spec;
      E489 := E489 + 1;
      Polyorb.Orb'Elab_Body;
      E353 := E353 + 1;
      Polyorb.Transport.Connected'Elab_Spec;
      Polyorb.Transport.Connected'Elab_Body;
      E697 := E697 + 1;
      Polyorb.Giop_P.Code_Sets.Converters'Elab_Spec;
      E741 := E741 + 1;
      Polyorb.Representations.Cdr.Common'Elab_Body;
      E628 := E628 + 1;
      Polyorb.Giop_P.Code_Sets.Converters'Elab_Body;
      E743 := E743 + 1;
      Polyorb.References.Ior'Elab_Body;
      E634 := E634 + 1;
      Polyorb.Representations.Cdr'Elab_Body;
      E626 := E626 + 1;
      Polyorb.Qos.Service_Contexts'Elab_Spec;
      Polyorb.Qos.Service_Contexts'Elab_Body;
      E624 := E624 + 1;
      Polyorb.Giop_P.Service_Contexts'Elab_Body;
      E733 := E733 + 1;
      Polyorb.Protocols.Giop.Common'Elab_Body;
      E660 := E660 + 1;
      Polyorb.Qos.Code_Sets'Elab_Spec;
      Polyorb.Qos.Code_Sets'Elab_Body;
      E757 := E757 + 1;
      Polyorb.Protocols.Giop.Giop_1_2'Elab_Spec;
      Polyorb.Qos.Exception_Informations'Elab_Spec;
      Polyorb.Qos.Exception_Informations'Elab_Body;
      E622 := E622 + 1;
      Polyorb.Qos.Tagged_Components'Elab_Spec;
      E652 := E652 + 1;
      Polyorb.Giop_P.Tagged_Components'Elab_Spec;
      Polyorb.Giop_P.Tagged_Components'Elab_Body;
      E650 := E650 + 1;
      Polyorb.Giop_P.Tagged_Components.Code_Sets'Elab_Spec;
      Polyorb.Giop_P.Tagged_Components.Code_Sets'Elab_Body;
      E748 := E748 + 1;
      Polyorb.Giop_P.Transport_Mechanisms'Elab_Spec;
      Polyorb.Giop_P.Transport_Mechanisms'Elab_Body;
      E654 := E654 + 1;
      POLYORB.BINDING_DATA.GIOP'ELAB_SPEC;
      E647 := E647 + 1;
      Polyorb.Protocols.Giop'Elab_Body;
      E656 := E656 + 1;
      Polyorb.Binding_Data.Giop.Iiop'Elab_Spec;
      Polyorb.Qos.Term_Manager_Info'Elab_Spec;
      Polyorb.Qos.Term_Manager_Info'Elab_Body;
      E638 := E638 + 1;
      Polyorb.Representations.Cdr.Giop_1_0'Elab_Spec;
      Polyorb.Representations.Cdr.Giop_1_0'Elab_Body;
      E735 := E735 + 1;
      Polyorb.Protocols.Giop.Giop_1_0'Elab_Body;
      E731 := E731 + 1;
      Polyorb.Representations.Cdr.Giop_1_1'Elab_Spec;
      Polyorb.Representations.Cdr.Giop_1_1'Elab_Body;
      E739 := E739 + 1;
      Polyorb.Protocols.Giop.Giop_1_1'Elab_Body;
      E737 := E737 + 1;
      Polyorb.Representations.Cdr.Giop_1_2'Elab_Spec;
      Polyorb.Representations.Cdr.Giop_1_2'Elab_Body;
      E755 := E755 + 1;
      Polyorb.Protocols.Giop.Giop_1_2'Elab_Body;
      E746 := E746 + 1;
      Polyorb.Setup.Iiop'Elab_Body;
      E729 := E729 + 1;
      Polyorb.Utils.Configuration_File'Elab_Spec;
      Polyorb.Utils.Configuration_File'Elab_Body;
      E642 := E642 + 1;
      Polyorb.Parameters.File'Elab_Body;
      E727 := E727 + 1;
      Polyorb.Utils.Sockets'Elab_Body;
      E685 := E685 + 1;
      Polyorb.Binding_Data.Giop.Inet'Elab_Body;
      E668 := E668 + 1;
      Polyorb.Giop_P.Tagged_Components.Alternate_Iiop_Address'Elab_Spec;
      Polyorb.Giop_P.Tagged_Components.Alternate_Iiop_Address'Elab_Body;
      E693 := E693 + 1;
      Polyorb.Giop_P.Transport_Mechanisms.Iiop'Elab_Spec;
      Polyorb.Binding_Data.Giop.Iiop'Elab_Body;
      E666 := E666 + 1;
      Polyorb.Transport.Connected.Sockets'Elab_Spec;
      Polyorb.Transport.Connected.Sockets'Elab_Body;
      E699 := E699 + 1;
      Polyorb.Giop_P.Transport_Mechanisms.Iiop'Elab_Body;
      E689 := E689 + 1;
      System.Partition_Interface'Elab_Spec;
      System.Partition_Interface'Elab_Body;
      E504 := E504 + 1;
      Polyorb.Dsa_P.Partitions'Elab_Spec;
      E502 := E502 + 1;
      POLYORB.DSA_P.STORAGES'ELAB_SPEC;
      POLYORB.DSA_P.STORAGES'ELAB_BODY;
      E808 := E808 + 1;
      E810 := E810 + 1;
      Polyorb.Termination_Manager'Elab_Spec;
      Polyorb.Termination_Manager.Bootstrap'Elab_Spec;
      Polyorb.Termination_Manager.Bootstrap'Elab_Body;
      E814 := E814 + 1;
      Polyorb.Termination_Manager'Elab_Body;
      E812 := E812 + 1;
      System.Dsa_Services'Elab_Body;
      E500 := E500 + 1;
      E230 := E230 + 1;
      E333 := E333 + 1;
      Ball'Elab_Spec;
      E281 := E281 + 1;
      Ball_Controller'Elab_Spec;
      Ball_Controller'Elab_Body;
      E335 := E335 + 1;
      Player_Package'Elab_Spec;
      Player_Package'Elab_Body;
      E343 := E343 + 1;
      Manager_Package'Elab_Spec;
      Manager_Package'Elab_Body;
      E341 := E341 + 1;
      Referee_Package'Elab_Spec;
      Referee_Package'Elab_Body;
      E349 := E349 + 1;
      Timer_Package'Elab_Spec;
      Timer_Package'Elab_Body;
      E351 := E351 + 1;
      Game'Elab_Spec;
      E279 := E279 + 1;
      E242 := E242 + 1;
      Display_Package'Elab_Spec;
      Display_Package'Elab_Body;
      E093 := E093 + 1;
      E006 := E006 + 1;
      Partition'Elab_Body;
      E002 := E002 + 1;
   end adainit;

   function main
     (argc : Integer;
      argv : System.Address;
      envp : System.Address)
      return Integer
   is
      procedure Initialize (Addr : System.Address);
      pragma Import (C, Initialize, "__gnat_initialize");

      procedure Finalize;
      pragma Import (C, Finalize, "__gnat_finalize");
      Ensure_Reference : aliased System.Address := Ada_Main_Program_Name'Address;
      pragma Volatile (Ensure_Reference);

   begin
      gnat_argc := argc;
      gnat_argv := argv;
      gnat_envp := envp;

      Initialize (System.Null_Address);
      adainit;
      adafinal;
      Finalize;
      return (gnat_exit_status);
   end;

--  BEGIN Object file/option list
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/double_buffer.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/client_partition/polyorb-partition_elaboration.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/stubs/polyorb-dsa_p-partitions.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/client_partition/polyorb-dsa_p-storages-config.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/pos.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/field_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/ball.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/ball_controller.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/player_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/manager_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/referee_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/timer_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/game.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/server.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/display_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/client.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/start_client.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/client_partition/partition.o
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/client_partition/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/stubs/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//././
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Server/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Server/Interfaces/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Server/Objects/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Server/Tasks/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Server/Debug/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Client/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Client/Auctions/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Client/User/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Client/Login/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Storage/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Streams/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Persistence/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Lock/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Transactions/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Memory/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Operations/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Recovery/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Utilities/
   --   -L/usr/local/Gtkada/lib/gtkada/static/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/
   --   -L/usr/local/lib/polyorb/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/client_partition/
   --   -L/usr/local/gnat/lib/gcc/x86_64-apple-darwin10.2.0/4.5.3/adalib/
   --   -static
   --   -lgnarl
   --   -lgnat
--  END Object file/option list   

end ada_main;
